darcs - INblobs

1 <Document

2 ><Network Width="15.0" Height="9.0"

3 ><Info

4 ><unit/></Info

5 ><Nodes

6 /><Edges/></Network

7 ><Palette

8 ><Symbol

9 ><ShapeName

10 ><![CDATA[interface]]></ShapeName

11 ><Shape

12 ><Circle

13 ><ShapeStyle

14 ><int value="2"

15 /><RGB R="255" G="255" B="255"

16 /><RGB R="255" G="255" B="255"/></ShapeStyle

17 ><double value="0.25"/></Circle></Shape

18 ><Ports

19 ><Principals

20 ><Port

21 ><string

22 ><![CDATA[interface]]></string

23 ><Position X="0.0" Y="0.25"/></Port></Principals

24 ><Auxiliaries/></Ports

25 ><Info

26 ><maybe-list-int

27 ><list-int/></maybe-list-int></Info></Symbol

28 ><Symbol

29 ><ShapeName

30 ><![CDATA[lambda]]></ShapeName

31 ><Shape

32 ><Composite

33 ><list-Shape

34 ><Circle

35 ><ShapeStyle

36 ><int value="1"

37 /><RGB R="0" G="0" B="0"

38 /><RGB R="255" G="215" B="0"/></ShapeStyle

39 ><double value="0.5"/></Circle

40 ><Lines

41 ><ShapeStyle

42 ><int value="2"

43 /><RGB R="0" G="0" B="0"

44 /><RGB R="255" G="255" B="255"/></ShapeStyle

45 ><list-DoublePoint

46 ><Position X="-0.25" Y="-0.25"

47 /><Position X="0.25" Y="0.25"/></list-DoublePoint></Lines

48 ><Lines

49 ><ShapeStyle

50 ><int value="2"

51 /><RGB R="0" G="0" B="0"

52 /><RGB R="255" G="255" B="255"/></ShapeStyle

53 ><list-DoublePoint

54 ><Position X="0.0" Y="0.0"

55 /><Position X="-0.25"

56 Y="0.25"/></list-DoublePoint></Lines></list-Shape></Composite></Shape

57 ><Ports

58 ><Principals

59 ><Port

60 ><string

61 ><![CDATA[res]]></string

62 ><Position X="0.0" Y="-0.35"/></Port></Principals

63 ><Auxiliaries

64 ><Port

65 ><string

66 ><![CDATA[body]]></string

67 ><Position X="0.3" Y="0.3"/></Port

68 ><Port

69 ><string

70 ><![CDATA[var]]></string

71 ><Position X="-0.3" Y="0.3"/></Port></Auxiliaries></Ports

72 ><Info

73 ><maybe-list-int/></Info></Symbol

74 ><Symbol

75 ><ShapeName

76 ><![CDATA[application]]></ShapeName

77 ><Shape

78 ><TextInEllipse

79 ><ShapeStyle

80 ><int value="1"

81 /><RGB R="0" G="0" B="0"

82 /><RGB R="255" G="215" B="0"/></ShapeStyle

83 ><string

84 ><![CDATA[@]]></string></TextInEllipse></Shape

85 ><Ports

86 ><Principals

87 ><Port

88 ><string

89 ><![CDATA[func]]></string

90 ><Position X="-0.3" Y="0.3"/></Port></Principals

91 ><Auxiliaries

92 ><Port

93 ><string

94 ><![CDATA[res]]></string

95 ><Position X="0.0" Y="-0.35"/></Port

96 ><Port

97 ><string

98 ><![CDATA[arg]]></string

99 ><Position X="0.3" Y="0.3"/></Port></Auxiliaries></Ports

100 ><Info

101 ><maybe-list-int/></Info></Symbol

102 ><Symbol

103 ><ShapeName

104 ><![CDATA[evaluation]]></ShapeName

105 ><Shape

106 ><Composite

107 ><list-Shape

108 ><Circle

109 ><ShapeStyle

110 ><int value="1"

111 /><RGB R="0" G="0" B="0"

112 /><RGB R="144" G="238" B="144"/></ShapeStyle

113 ><double value="0.5"/></Circle

114 ><Lines

115 ><ShapeStyle

116 ><int value="2"

117 /><RGB R="0" G="0" B="0"

118 /><RGB R="255" G="255" B="255"/></ShapeStyle

119 ><list-DoublePoint

120 ><Position X="-0.2" Y="-0.2"

121 /><Position X="-0.2" Y="0.2"/></list-DoublePoint></Lines

122 ><Lines

123 ><ShapeStyle

124 ><int value="2"

125 /><RGB R="0" G="0" B="0"

126 /><RGB R="255" G="255" B="255"/></ShapeStyle

127 ><list-DoublePoint

128 ><Position X="0.2" Y="-0.2"

129 /><Position X="0.2" Y="0.2"/></list-DoublePoint></Lines

130 ><Lines

131 ><ShapeStyle

132 ><int value="2"

133 /><RGB R="0" G="0" B="0"

134 /><RGB R="255" G="255" B="255"/></ShapeStyle

135 ><list-DoublePoint

136 ><Position X="-0.3" Y="0.25"

137 /><Position X="0.0" Y="0.4"

138 /><Position X="0.3"

139 Y="0.25"/></list-DoublePoint></Lines></list-Shape></Composite></Shape

140 ><Ports

141 ><Principals

142 ><Port

143 ><string

144 ><![CDATA[arg]]></string

145 ><Position X="0.0" Y="0.5"/></Port></Principals

146 ><Auxiliaries

147 ><Port

148 ><string

149 ><![CDATA[res]]></string

150 ><Position X="0.0" Y="-0.5"/></Port></Auxiliaries></Ports

151 ><Info

152 ><maybe-list-int/></Info></Symbol

153 ><Symbol

154 ><ShapeName

155 ><![CDATA[evalReturn]]></ShapeName

156 ><Shape

157 ><Composite

158 ><list-Shape

159 ><Circle

160 ><ShapeStyle

161 ><int value="1"

162 /><RGB R="0" G="0" B="0"

163 /><RGB R="144" G="238" B="144"/></ShapeStyle

164 ><double value="0.5"/></Circle

165 ><Lines

166 ><ShapeStyle

167 ><int value="2"

168 /><RGB R="0" G="0" B="0"

169 /><RGB R="255" G="255" B="255"/></ShapeStyle

170 ><list-DoublePoint

171 ><Position X="-0.2" Y="-0.2"

172 /><Position X="-0.2" Y="0.2"/></list-DoublePoint></Lines

173 ><Lines

174 ><ShapeStyle

175 ><int value="2"

176 /><RGB R="0" G="0" B="0"

177 /><RGB R="255" G="255" B="255"/></ShapeStyle

178 ><list-DoublePoint

179 ><Position X="0.2" Y="-0.2"

180 /><Position X="0.2" Y="0.2"/></list-DoublePoint></Lines

181 ><Lines

182 ><ShapeStyle

183 ><int value="2"

184 /><RGB R="0" G="0" B="0"

185 /><RGB R="255" G="255" B="255"/></ShapeStyle

186 ><list-DoublePoint

187 ><Position X="-0.3" Y="-0.25"

188 /><Position X="0.0" Y="-0.4"

189 /><Position X="0.3"

190 Y="-0.25"/></list-DoublePoint></Lines></list-Shape></Composite></Shape

191 ><Ports

192 ><Principals

193 ><Port

194 ><string

195 ><![CDATA[res]]></string

196 ><Position X="0.0" Y="-0.5"/></Port></Principals

197 ><Auxiliaries

198 ><Port

199 ><string

200 ><![CDATA[arg]]></string

201 ><Position X="0.0" Y="0.5"/></Port></Auxiliaries></Ports

202 ><Info

203 ><maybe-list-int/></Info></Symbol

204 ><Symbol

205 ><ShapeName

206 ><![CDATA[beforeApplication]]></ShapeName

207 ><Shape

208 ><TextInEllipse

209 ><ShapeStyle

210 ><int value="1"

211 /><RGB R="0" G="0" B="0"

212 /><RGB R="192" G="192" B="192"/></ShapeStyle

213 ><string

214 ><![CDATA[a]]></string></TextInEllipse></Shape

215 ><Ports

216 ><Principals

217 ><Port

218 ><string

219 ><![CDATA[res]]></string

220 ><Position X="0.0" Y="-0.3"/></Port></Principals

221 ><Auxiliaries

222 ><Port

223 ><string

224 ><![CDATA[arg]]></string

225 ><Position X="0.3" Y="0.3"/></Port

226 ><Port

227 ><string

228 ><![CDATA[func]]></string

229 ><Position X="-0.3" Y="0.3"/></Port></Auxiliaries></Ports

230 ><Info

231 ><maybe-list-int/></Info></Symbol

232 ><Symbol

233 ><ShapeName

234 ><![CDATA[copy]]></ShapeName

235 ><Shape

236 ><TextInEllipse

237 ><ShapeStyle

238 ><int value="1"

239 /><RGB R="0" G="0" B="0"

240 /><RGB R="192" G="192" B="192"/></ShapeStyle

241 ><string

242 ><![CDATA[c]]></string></TextInEllipse></Shape

243 ><Ports

244 ><Principals

245 ><Port

246 ><string

247 ><![CDATA[src]]></string

248 ><Position X="0.0" Y="0.3"/></Port></Principals

249 ><Auxiliaries

250 ><Port

251 ><string

252 ><![CDATA[fst_target]]></string

253 ><Position X="-0.3" Y="-0.3"/></Port

254 ><Port

255 ><string

256 ><![CDATA[snd_target]]></string

257 ><Position X="0.3" Y="-0.3"/></Port></Auxiliaries></Ports

258 ><Info

259 ><maybe-list-int/></Info></Symbol

260 ><Symbol

261 ><ShapeName

262 ><![CDATA[duplicator]]></ShapeName

263 ><Shape

264 ><Composite

265 ><list-Shape

266 ><Circle

267 ><ShapeStyle

268 ><int value="2"

269 /><RGB R="250" G="0" B="0"

270 /><RGB R="255" G="255" B="255"/></ShapeStyle

271 ><double value="0.5"/></Circle

272 ><Arc

273 ><ShapeStyle

274 ><int value="2"

275 /><RGB R="250" G="0" B="0"

276 /><RGB R="255" G="255" B="255"/></ShapeStyle

277 ><double value="0.2"

278 /><double value="70.0"

279 /><double value="270.0"

280 /><Position X="0.0" Y="-0.18"/></Arc

281 ><Arc

282 ><ShapeStyle

283 ><int value="2"

284 /><RGB R="250" G="0" B="0"

285 /><RGB R="255" G="255" B="255"/></ShapeStyle

286 ><double value="0.2"

287 /><double value="150.0"

288 /><double value="90.0"

289 /><Position X="0.0"

290 Y="0.18"/></Arc></list-Shape></Composite></Shape

291 ><Ports

292 ><Principals

293 ><Port

294 ><string

295 ><![CDATA[down]]></string

296 ><Position X="0.0" Y="0.5"/></Port></Principals

297 ><Auxiliaries

298 ><Port

299 ><string

300 ><![CDATA[copy1]]></string

301 ><Position X="-0.3" Y="-0.3"/></Port

302 ><Port

303 ><string

304 ><![CDATA[copy2]]></string

305 ><Position X="0.3" Y="-0.3"/></Port></Auxiliaries></Ports

306 ><Info

307 ><maybe-list-int

308 ><list-int/></maybe-list-int></Info></Symbol

309 ><Symbol

310 ><ShapeName

311 ><![CDATA[Erase]]></ShapeName

312 ><Shape

313 ><Composite

314 ><list-Shape

315 ><Circle

316 ><ShapeStyle

317 ><int value="2"

318 /><RGB R="250" G="0" B="0"

319 /><RGB R="255" G="255" B="255"/></ShapeStyle

320 ><double value="0.5"/></Circle

321 ><Arc

322 ><ShapeStyle

323 ><int value="2"

324 /><RGB R="250" G="0" B="0"

325 /><RGB R="255" G="255" B="255"/></ShapeStyle

326 ><double value="0.2"

327 /><double value="90.0"

328 /><double value="270.0"

329 /><Position X="0.0" Y="-0.18"/></Arc

330 ><Arc

331 ><ShapeStyle

332 ><int value="2"

333 /><RGB R="250" G="0" B="0"

334 /><RGB R="255" G="255" B="255"/></ShapeStyle

335 ><double value="0.2"

336 /><double value="90.0"

337 /><double value="270.0"

338 /><Position X="0.0"

339 Y="0.18"/></Arc></list-Shape></Composite></Shape

340 ><Ports

341 ><Principals

342 ><Port

343 ><string

344 ><![CDATA[down]]></string

345 ><Position X="0.0" Y="0.5"/></Port></Principals

346 ><Auxiliaries/></Ports

347 ><Info

348 ><maybe-list-int

349 ><list-int/></maybe-list-int></Info></Symbol></Palette

350 ><Rules

351 ><INRule

352 ><Name

353 ><![CDATA[evaluate_lambda]]></Name

354 ><LHS

355 ><Network Width="15.0" Height="9.0"

356 ><Info

357 ><unit/></Info

358 ><Nodes

359 ><Node id="N1"

360 ><Position X="2.0" Y="2.0"

361 /><Name

362 ><![CDATA[Node 1]]></Name

363 ><LabelAbove

364 >True</LabelAbove

365 ><Shape

366 ><![CDATA[evaluation]]></Shape

367 ><Info

368 ><list-int/></Info></Node

369 ><Node id="N2"

370 ><Position X="2.0" Y="4.0"

371 /><Name

372 ><![CDATA[Node 2]]></Name

373 ><LabelAbove

374 >True</LabelAbove

375 ><Shape

376 ><![CDATA[lambda]]></Shape

377 ><Info

378 ><list-int/></Info></Node

379 ><Node id="N3"

380 ><Position X="2.008125" Y="0.6322916666666667"

381 /><Name

382 ><![CDATA[Node 3]]></Name

383 ><LabelAbove

384 >True</LabelAbove

385 ><Shape

386 ><![CDATA[interface]]></Shape

387 ><Info

388 ><list-int/></Info></Node

389 ><Node id="N4"

390 ><Position X="2.8812499999999996" Y="5.420625000000001"

391 /><Name

392 ><![CDATA[Node 4]]></Name

393 ><LabelAbove

394 >True</LabelAbove

395 ><Shape

396 ><![CDATA[interface]]></Shape

397 ><Info

398 ><list-int/></Info></Node

399 ><Node id="N5"

400 ><Position X="1.1295833333333334" Y="5.394166666666667"

401 /><Name

402 ><![CDATA[Node 5]]></Name

403 ><LabelAbove

404 >True</LabelAbove

405 ><Shape

406 ><![CDATA[interface]]></Shape

407 ><Info

408 ><list-int/></Info></Node></Nodes

409 ><Edges

410 ><Edge id="E1"

411 ><From

412 >1</From

413 ><PortFrom

414 ><![CDATA[arg]]></PortFrom

415 ><To

416 >2</To

417 ><PortTo

418 ><![CDATA[res]]></PortTo

419 ><Via

420 /><Info

421 ><list-int/></Info></Edge

422 ><Edge id="E2"

423 ><From

424 >1</From

425 ><PortFrom

426 ><![CDATA[res]]></PortFrom

427 ><To

428 >3</To

429 ><PortTo

430 ><![CDATA[interface]]></PortTo

431 ><Via

432 /><Info

433 ><list-int/></Info></Edge

434 ><Edge id="E3"

435 ><From

436 >2</From

437 ><PortFrom

438 ><![CDATA[var]]></PortFrom

439 ><To

440 >5</To

441 ><PortTo

442 ><![CDATA[interface]]></PortTo

443 ><Via

444 /><Info

445 ><list-int/></Info></Edge

446 ><Edge id="E4"

447 ><From

448 >2</From

449 ><PortFrom

450 ><![CDATA[body]]></PortFrom

451 ><To

452 >4</To

453 ><PortTo

454 ><![CDATA[interface]]></PortTo

455 ><Via

456 /><Info

457 ><list-int/></Info></Edge></Edges></Network></LHS

458 ><RHS

459 ><Network Width="15.0" Height="9.0"

460 ><Info

461 ><unit/></Info

462 ><Nodes

463 ><Node id="N3"

464 ><Position X="2.008125" Y="0.6322916666666667"

465 /><Name

466 ><![CDATA[Node 3]]></Name

467 ><LabelAbove

468 >True</LabelAbove

469 ><Shape

470 ><![CDATA[interface]]></Shape

471 ><Info

472 ><list-int/></Info></Node

473 ><Node id="N4"

474 ><Position X="2.8812499999999996" Y="5.420625000000001"

475 /><Name

476 ><![CDATA[Node 4]]></Name

477 ><LabelAbove

478 >True</LabelAbove

479 ><Shape

480 ><![CDATA[interface]]></Shape

481 ><Info

482 ><list-int/></Info></Node

483 ><Node id="N5"

484 ><Position X="1.1295833333333334" Y="5.394166666666667"

485 /><Name

486 ><![CDATA[Node 5]]></Name

487 ><LabelAbove

488 >True</LabelAbove

489 ><Shape

490 ><![CDATA[interface]]></Shape

491 ><Info

492 ><list-int/></Info></Node

493 ><Node id="N6"

494 ><Position X="1.9843750000000004" Y="4.1275"

495 /><Name

496 ><![CDATA[Node 6]]></Name

497 ><LabelAbove

498 >True</LabelAbove

499 ><Shape

500 ><![CDATA[lambda]]></Shape

501 ><Info

502 ><list-int/></Info></Node

503 ><Node id="N7"

504 ><Position X="1.9843750000000004" Y="2.2225"

505 /><Name

506 ><![CDATA[Node 7]]></Name

507 ><LabelAbove

508 >True</LabelAbove

509 ><Shape

510 ><![CDATA[evalReturn]]></Shape

511 ><Info

512 ><list-int/></Info></Node></Nodes

513 ><Edges

514 ><Edge id="E1"

515 ><From

516 >6</From

517 ><PortFrom

518 ><![CDATA[var]]></PortFrom

519 ><To

520 >5</To

521 ><PortTo

522 ><![CDATA[interface]]></PortTo

523 ><Via

524 /><Info

525 ><list-int/></Info></Edge

526 ><Edge id="E2"

527 ><From

528 >6</From

529 ><PortFrom

530 ><![CDATA[body]]></PortFrom

531 ><To

532 >4</To

533 ><PortTo

534 ><![CDATA[interface]]></PortTo

535 ><Via

536 /><Info

537 ><list-int/></Info></Edge

538 ><Edge id="E3"

539 ><From

540 >3</From

541 ><PortFrom

542 ><![CDATA[interface]]></PortFrom

543 ><To

544 >7</To

545 ><PortTo

546 ><![CDATA[res]]></PortTo

547 ><Via

548 /><Info

549 ><list-int/></Info></Edge

550 ><Edge id="E4"

551 ><From

552 >7</From

553 ><PortFrom

554 ><![CDATA[arg]]></PortFrom

555 ><To

556 >6</To

557 ><PortTo

558 ><![CDATA[res]]></PortTo

559 ><Via

560 /><Info

561 ><list-int/></Info></Edge></Edges></Network></RHS

562 ><Mapping

563 ><MappingElement lhs="3" rhs="3"

564 /><MappingElement lhs="4" rhs="4"

565 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

566 ><INRule

567 ><Name

568 ><![CDATA[evaluate_application]]></Name

569 ><LHS

570 ><Network Width="15.0" Height="9.0"

571 ><Info

572 ><unit/></Info

573 ><Nodes

574 ><Node id="N1"

575 ><Position X="2.0" Y="2.0"

576 /><Name

577 ><![CDATA[Node 1]]></Name

578 ><LabelAbove

579 >True</LabelAbove

580 ><Shape

581 ><![CDATA[evaluation]]></Shape

582 ><Info

583 ><list-int/></Info></Node

584 ><Node id="N2"

585 ><Position X="2.0" Y="4.0"

586 /><Name

587 ><![CDATA[Node 2]]></Name

588 ><LabelAbove

589 >True</LabelAbove

590 ><Shape

591 ><![CDATA[beforeApplication]]></Shape

592 ><Info

593 ><list-int/></Info></Node

594 ><Node id="N3"

595 ><Position X="2.008125" Y="0.5529166666666667"

596 /><Name

597 ><![CDATA[Node 3]]></Name

598 ><LabelAbove

599 >True</LabelAbove

600 ><Shape

601 ><![CDATA[interface]]></Shape

602 ><Info

603 ><list-int/></Info></Node

604 ><Node id="N4"

605 ><Position X="2.6695833333333336" Y="5.447083333333333"

606 /><Name

607 ><![CDATA[Node 4]]></Name

608 ><LabelAbove

609 >True</LabelAbove

610 ><Shape

611 ><![CDATA[interface]]></Shape

612 ><Info

613 ><list-int/></Info></Node

614 ><Node id="N5"

615 ><Position X="1.3147916666666666" Y="5.5"

616 /><Name

617 ><![CDATA[Node 5]]></Name

618 ><LabelAbove

619 >True</LabelAbove

620 ><Shape

621 ><![CDATA[interface]]></Shape

622 ><Info

623 ><list-int/></Info></Node></Nodes

624 ><Edges

625 ><Edge id="E1"

626 ><From

627 >1</From

628 ><PortFrom

629 ><![CDATA[arg]]></PortFrom

630 ><To

631 >2</To

632 ><PortTo

633 ><![CDATA[res]]></PortTo

634 ><Via

635 /><Info

636 ><list-int/></Info></Edge

637 ><Edge id="E2"

638 ><From

639 >1</From

640 ><PortFrom

641 ><![CDATA[res]]></PortFrom

642 ><To

643 >3</To

644 ><PortTo

645 ><![CDATA[interface]]></PortTo

646 ><Via

647 /><Info

648 ><list-int/></Info></Edge

649 ><Edge id="E3"

650 ><From

651 >2</From

652 ><PortFrom

653 ><![CDATA[func]]></PortFrom

654 ><To

655 >5</To

656 ><PortTo

657 ><![CDATA[interface]]></PortTo

658 ><Via

659 /><Info

660 ><list-int/></Info></Edge

661 ><Edge id="E4"

662 ><From

663 >2</From

664 ><PortFrom

665 ><![CDATA[arg]]></PortFrom

666 ><To

667 >4</To

668 ><PortTo

669 ><![CDATA[interface]]></PortTo

670 ><Via

671 /><Info

672 ><list-int/></Info></Edge></Edges></Network></LHS

673 ><RHS

674 ><Network Width="15.0" Height="9.0"

675 ><Info

676 ><unit/></Info

677 ><Nodes

678 ><Node id="N3"

679 ><Position X="2.008125" Y="0.5529166666666667"

680 /><Name

681 ><![CDATA[Node 3]]></Name

682 ><LabelAbove

683 >True</LabelAbove

684 ><Shape

685 ><![CDATA[interface]]></Shape

686 ><Info

687 ><list-int/></Info></Node

688 ><Node id="N4"

689 ><Position X="2.6695833333333336" Y="5.447083333333333"

690 /><Name

691 ><![CDATA[Node 4]]></Name

692 ><LabelAbove

693 >True</LabelAbove

694 ><Shape

695 ><![CDATA[interface]]></Shape

696 ><Info

697 ><list-int/></Info></Node

698 ><Node id="N5"

699 ><Position X="1.3147916666666666" Y="5.5"

700 /><Name

701 ><![CDATA[Node 5]]></Name

702 ><LabelAbove

703 >True</LabelAbove

704 ><Shape

705 ><![CDATA[interface]]></Shape

706 ><Info

707 ><list-int/></Info></Node

708 ><Node id="N6"

709 ><Position X="2.0372916666666665" Y="2.0108333333333333"

710 /><Name

711 ><![CDATA[Node 6]]></Name

712 ><LabelAbove

713 >True</LabelAbove

714 ><Shape

715 ><![CDATA[application]]></Shape

716 ><Info

717 ><list-int/></Info></Node

718 ><Node id="N7"

719 ><Position X="1.3229166666666667" Y="3.757083333333333"

720 /><Name

721 ><![CDATA[Node 7]]></Name

722 ><LabelAbove

723 >True</LabelAbove

724 ><Shape

725 ><![CDATA[evaluation]]></Shape

726 ><Info

727 ><list-int/></Info></Node></Nodes

728 ><Edges

729 ><Edge id="E1"

730 ><From

731 >3</From

732 ><PortFrom

733 ><![CDATA[interface]]></PortFrom

734 ><To

735 >6</To

736 ><PortTo

737 ><![CDATA[res]]></PortTo

738 ><Via

739 /><Info

740 ><list-int/></Info></Edge

741 ><Edge id="E2"

742 ><From

743 >6</From

744 ><PortFrom

745 ><![CDATA[func]]></PortFrom

746 ><To

747 >7</To

748 ><PortTo

749 ><![CDATA[res]]></PortTo

750 ><Via

751 /><Info

752 ><list-int/></Info></Edge

753 ><Edge id="E3"

754 ><From

755 >7</From

756 ><PortFrom

757 ><![CDATA[arg]]></PortFrom

758 ><To

759 >5</To

760 ><PortTo

761 ><![CDATA[interface]]></PortTo

762 ><Via

763 /><Info

764 ><list-int/></Info></Edge

765 ><Edge id="E4"

766 ><From

767 >6</From

768 ><PortFrom

769 ><![CDATA[arg]]></PortFrom

770 ><To

771 >4</To

772 ><PortTo

773 ><![CDATA[interface]]></PortTo

774 ><Via

775 /><Info

776 ><list-int/></Info></Edge></Edges></Network></RHS

777 ><Mapping

778 ><MappingElement lhs="3" rhs="3"

779 /><MappingElement lhs="4" rhs="4"

780 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

781 ><INRule

782 ><Name

783 ><![CDATA[afterEvaluatingLeftSideOfApplication]]></Name

784 ><LHS

785 ><Network Width="15.0" Height="9.0"

786 ><Info

787 ><unit/></Info

788 ><Nodes

789 ><Node id="N1"

790 ><Position X="2.306666666666666" Y="2.0"

791 /><Name

792 ><![CDATA[Node 1]]></Name

793 ><LabelAbove

794 >True</LabelAbove

795 ><Shape

796 ><![CDATA[application]]></Shape

797 ><Info

798 ><list-int/></Info></Node

799 ><Node id="N2"

800 ><Position X="2.0" Y="4.0"

801 /><Name

802 ><![CDATA[Node 2]]></Name

803 ><LabelAbove

804 >True</LabelAbove

805 ><Shape

806 ><![CDATA[evalReturn]]></Shape

807 ><Info

808 ><list-int/></Info></Node

809 ><Node id="N3"

810 ><Position X="2.3256250000000005" Y="0.579375"

811 /><Name

812 ><![CDATA[Node 3]]></Name

813 ><LabelAbove

814 >True</LabelAbove

815 ><Shape

816 ><![CDATA[interface]]></Shape

817 ><Info

818 ><list-int/></Info></Node

819 ><Node id="N4"

820 ><Position X="3.7754166666666675" Y="5.420624999999999"

821 /><Name

822 ><![CDATA[Node 4]]></Name

823 ><LabelAbove

824 >True</LabelAbove

825 ><Shape

826 ><![CDATA[interface]]></Shape

827 ><Info

828 ><list-int/></Info></Node

829 ><Node id="N5"

830 ><Position X="2.008125" Y="5.4470833333333335"

831 /><Name

832 ><![CDATA[Node 5]]></Name

833 ><LabelAbove

834 >True</LabelAbove

835 ><Shape

836 ><![CDATA[interface]]></Shape

837 ><Info

838 ><list-int/></Info></Node></Nodes

839 ><Edges

840 ><Edge id="E1"

841 ><From

842 >1</From

843 ><PortFrom

844 ><![CDATA[func]]></PortFrom

845 ><To

846 >2</To

847 ><PortTo

848 ><![CDATA[res]]></PortTo

849 ><Via

850 /><Info

851 ><list-int/></Info></Edge

852 ><Edge id="E2"

853 ><From

854 >1</From

855 ><PortFrom

856 ><![CDATA[arg]]></PortFrom

857 ><To

858 >4</To

859 ><PortTo

860 ><![CDATA[interface]]></PortTo

861 ><Via

862 /><Info

863 ><list-int/></Info></Edge

864 ><Edge id="E3"

865 ><From

866 >1</From

867 ><PortFrom

868 ><![CDATA[res]]></PortFrom

869 ><To

870 >3</To

871 ><PortTo

872 ><![CDATA[interface]]></PortTo

873 ><Via

874 /><Info

875 ><list-int/></Info></Edge

876 ><Edge id="E4"

877 ><From

878 >2</From

879 ><PortFrom

880 ><![CDATA[arg]]></PortFrom

881 ><To

882 >5</To

883 ><PortTo

884 ><![CDATA[interface]]></PortTo

885 ><Via

886 /><Info

887 ><list-int/></Info></Edge></Edges></Network></LHS

888 ><RHS

889 ><Network Width="15.0" Height="9.0"

890 ><Info

891 ><unit/></Info

892 ><Nodes

893 ><Node id="N3"

894 ><Position X="2.3256250000000005" Y="0.579375"

895 /><Name

896 ><![CDATA[Node 3]]></Name

897 ><LabelAbove

898 >True</LabelAbove

899 ><Shape

900 ><![CDATA[interface]]></Shape

901 ><Info

902 ><list-int/></Info></Node

903 ><Node id="N4"

904 ><Position X="3.7754166666666675" Y="5.420624999999999"

905 /><Name

906 ><![CDATA[Node 4]]></Name

907 ><LabelAbove

908 >True</LabelAbove

909 ><Shape

910 ><![CDATA[interface]]></Shape

911 ><Info

912 ><list-int/></Info></Node

913 ><Node id="N5"

914 ><Position X="2.034583333333334" Y="5.4470833333333335"

915 /><Name

916 ><![CDATA[Node 5]]></Name

917 ><LabelAbove

918 >True</LabelAbove

919 ><Shape

920 ><![CDATA[interface]]></Shape

921 ><Info

922 ><list-int/></Info></Node

923 ><Node id="N6"

924 ><Position X="2.3283333333333336" Y="2.8045833333333334"

925 /><Name

926 ><![CDATA[Node 6]]></Name

927 ><LabelAbove

928 >True</LabelAbove

929 ><Shape

930 ><![CDATA[application]]></Shape

931 ><Info

932 ><list-int/></Info></Node></Nodes

933 ><Edges

934 ><Edge id="E1"

935 ><From

936 >3</From

937 ><PortFrom

938 ><![CDATA[interface]]></PortFrom

939 ><To

940 >6</To

941 ><PortTo

942 ><![CDATA[res]]></PortTo

943 ><Via

944 /><Info

945 ><list-int/></Info></Edge

946 ><Edge id="E2"

947 ><From

948 >6</From

949 ><PortFrom

950 ><![CDATA[func]]></PortFrom

951 ><To

952 >5</To

953 ><PortTo

954 ><![CDATA[interface]]></PortTo

955 ><Via

956 /><Info

957 ><list-int/></Info></Edge

958 ><Edge id="E3"

959 ><From

960 >6</From

961 ><PortFrom

962 ><![CDATA[arg]]></PortFrom

963 ><To

964 >4</To

965 ><PortTo

966 ><![CDATA[interface]]></PortTo

967 ><Via

968 /><Info

969 ><list-int/></Info></Edge></Edges></Network></RHS

970 ><Mapping

971 ><MappingElement lhs="3" rhs="3"

972 /><MappingElement lhs="4" rhs="4"

973 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

974 ><INRule

975 ><Name

976 ><![CDATA[application_lambda]]></Name

977 ><LHS

978 ><Network Width="15.0" Height="9.0"

979 ><Info

980 ><unit/></Info

981 ><Nodes

982 ><Node id="N1"

983 ><Position X="3.2591666666666668" Y="1.9470833333333335"

984 /><Name

985 ><![CDATA[Node 1]]></Name

986 ><LabelAbove

987 >True</LabelAbove

988 ><Shape

989 ><![CDATA[application]]></Shape

990 ><Info

991 ><list-int/></Info></Node

992 ><Node id="N2"

993 ><Position X="2.0" Y="4.0"

994 /><Name

995 ><![CDATA[Node 2]]></Name

996 ><LabelAbove

997 >True</LabelAbove

998 ><Shape

999 ><![CDATA[lambda]]></Shape

1000 ><Info

1001 ><list-int/></Info></Node

1002 ><Node id="N3"

1003 ><Position X="3.278125" Y="0.579375"

1004 /><Name

1005 ><![CDATA[Node 3]]></Name

1006 ><LabelAbove

1007 >True</LabelAbove

1008 ><Shape

1009 ><![CDATA[interface]]></Shape

1010 ><Info

1011 ><list-int/></Info></Node

1012 ><Node id="N4"

1013 ><Position X="3.558333333333333" Y="5.420624999999999"

1014 /><Name

1015 ><![CDATA[Node 4]]></Name

1016 ><LabelAbove

1017 >True</LabelAbove

1018 ><Shape

1019 ><![CDATA[interface]]></Shape

1020 ><Info

1021 ><list-int/></Info></Node

1022 ><Node id="N5"

1023 ><Position X="2.537291666666667" Y="5.394166666666667"

1024 /><Name

1025 ><![CDATA[Node 5]]></Name

1026 ><LabelAbove

1027 >True</LabelAbove

1028 ><Shape

1029 ><![CDATA[interface]]></Shape

1030 ><Info

1031 ><list-int/></Info></Node

1032 ><Node id="N6"

1033 ><Position X="1.3677083333333333" Y="5.394166666666667"

1034 /><Name

1035 ><![CDATA[Node 6]]></Name

1036 ><LabelAbove

1037 >True</LabelAbove

1038 ><Shape

1039 ><![CDATA[interface]]></Shape

1040 ><Info

1041 ><list-int/></Info></Node></Nodes

1042 ><Edges

1043 ><Edge id="E1"

1044 ><From

1045 >1</From

1046 ><PortFrom

1047 ><![CDATA[func]]></PortFrom

1048 ><To

1049 >2</To

1050 ><PortTo

1051 ><![CDATA[res]]></PortTo

1052 ><Via

1053 /><Info

1054 ><list-int/></Info></Edge

1055 ><Edge id="E2"

1056 ><From

1057 >1</From

1058 ><PortFrom

1059 ><![CDATA[arg]]></PortFrom

1060 ><To

1061 >4</To

1062 ><PortTo

1063 ><![CDATA[interface]]></PortTo

1064 ><Via

1065 /><Info

1066 ><list-int/></Info></Edge

1067 ><Edge id="E3"

1068 ><From

1069 >1</From

1070 ><PortFrom

1071 ><![CDATA[res]]></PortFrom

1072 ><To

1073 >3</To

1074 ><PortTo

1075 ><![CDATA[interface]]></PortTo

1076 ><Via

1077 /><Info

1078 ><list-int/></Info></Edge

1079 ><Edge id="E4"

1080 ><From

1081 >2</From

1082 ><PortFrom

1083 ><![CDATA[var]]></PortFrom

1084 ><To

1085 >6</To

1086 ><PortTo

1087 ><![CDATA[interface]]></PortTo

1088 ><Via

1089 /><Info

1090 ><list-int/></Info></Edge

1091 ><Edge id="E5"

1092 ><From

1093 >2</From

1094 ><PortFrom

1095 ><![CDATA[body]]></PortFrom

1096 ><To

1097 >5</To

1098 ><PortTo

1099 ><![CDATA[interface]]></PortTo

1100 ><Via

1101 /><Info

1102 ><list-int/></Info></Edge></Edges></Network></LHS

1103 ><RHS

1104 ><Network Width="15.0" Height="9.0"

1105 ><Info

1106 ><unit/></Info

1107 ><Nodes

1108 ><Node id="N3"

1109 ><Position X="3.278125" Y="0.579375"

1110 /><Name

1111 ><![CDATA[Node 3]]></Name

1112 ><LabelAbove

1113 >True</LabelAbove

1114 ><Shape

1115 ><![CDATA[interface]]></Shape

1116 ><Info

1117 ><list-int/></Info></Node

1118 ><Node id="N4"

1119 ><Position X="3.558333333333333" Y="5.420624999999999"

1120 /><Name

1121 ><![CDATA[Node 4]]></Name

1122 ><LabelAbove

1123 >True</LabelAbove

1124 ><Shape

1125 ><![CDATA[interface]]></Shape

1126 ><Info

1127 ><list-int/></Info></Node

1128 ><Node id="N5"

1129 ><Position X="2.537291666666667" Y="5.394166666666667"

1130 /><Name

1131 ><![CDATA[Node 5]]></Name

1132 ><LabelAbove

1133 >True</LabelAbove

1134 ><Shape

1135 ><![CDATA[interface]]></Shape

1136 ><Info

1137 ><list-int/></Info></Node

1138 ><Node id="N6"

1139 ><Position X="1.3677083333333333" Y="5.394166666666667"

1140 /><Name

1141 ><![CDATA[Node 6]]></Name

1142 ><LabelAbove

1143 >True</LabelAbove

1144 ><Shape

1145 ><![CDATA[interface]]></Shape

1146 ><Info

1147 ><list-int/></Info></Node

1148 ><Node id="N7"

1149 ><Position X="3.254375" Y="2.2225"

1150 /><Name

1151 ><![CDATA[Node 7]]></Name

1152 ><LabelAbove

1153 >True</LabelAbove

1154 ><Shape

1155 ><![CDATA[evaluation]]></Shape

1156 ><Info

1157 ><list-int/></Info></Node></Nodes

1158 ><Edges

1159 ><Edge id="E1"

1160 ><From

1161 >3</From

1162 ><PortFrom

1163 ><![CDATA[interface]]></PortFrom

1164 ><To

1165 >7</To

1166 ><PortTo

1167 ><![CDATA[res]]></PortTo

1168 ><Via

1169 /><Info

1170 ><list-int/></Info></Edge

1171 ><Edge id="E2"

1172 ><From

1173 >5</From

1174 ><PortFrom

1175 ><![CDATA[interface]]></PortFrom

1176 ><To

1177 >7</To

1178 ><PortTo

1179 ><![CDATA[arg]]></PortTo

1180 ><Via

1181 /><Info

1182 ><list-int/></Info></Edge

1183 ><Edge id="E3"

1184 ><From

1185 >6</From

1186 ><PortFrom

1187 ><![CDATA[interface]]></PortFrom

1188 ><To

1189 >4</To

1190 ><PortTo

1191 ><![CDATA[interface]]></PortTo

1192 ><Via

1193 ><Position X="1.3758333333333332" Y="4.048125"

1194 /><Position X="3.5454166666666667" Y="4.048125000000001"/></Via

1195 ><Info

1196 ><list-int/></Info></Edge></Edges></Network></RHS

1197 ><Mapping

1198 ><MappingElement lhs="3" rhs="3"

1199 /><MappingElement lhs="4" rhs="4"

1200 /><MappingElement lhs="5" rhs="5"

1201 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

1202 ><INRule

1203 ><Name

1204 ><![CDATA[Copy_Lambda]]></Name

1205 ><LHS

1206 ><Network Width="15.0" Height="9.0"

1207 ><Info

1208 ><unit/></Info

1209 ><Nodes

1210 ><Node id="N1"

1211 ><Position X="2.0" Y="2.0"

1212 /><Name

1213 ><![CDATA[Node 1]]></Name

1214 ><LabelAbove

1215 >True</LabelAbove

1216 ><Shape

1217 ><![CDATA[copy]]></Shape

1218 ><Info

1219 ><list-int/></Info></Node

1220 ><Node id="N2"

1221 ><Position X="2.0" Y="4.0"

1222 /><Name

1223 ><![CDATA[Node 2]]></Name

1224 ><LabelAbove

1225 >True</LabelAbove

1226 ><Shape

1227 ><![CDATA[lambda]]></Shape

1228 ><Info

1229 ><list-int/></Info></Node

1230 ><Node id="N3"

1231 ><Position X="1.1879166666666667" Y="0.5264583333333334"

1232 /><Name

1233 ><![CDATA[Node 3]]></Name

1234 ><LabelAbove

1235 >True</LabelAbove

1236 ><Shape

1237 ><![CDATA[interface]]></Shape

1238 ><Info

1239 ><list-int/></Info></Node

1240 ><Node id="N4"

1241 ><Position X="2.6377083333333338" Y="0.6058333333333333"

1242 /><Name

1243 ><![CDATA[Node 4]]></Name

1244 ><LabelAbove

1245 >True</LabelAbove

1246 ><Shape

1247 ><![CDATA[interface]]></Shape

1248 ><Info

1249 ><list-int/></Info></Node

1250 ><Node id="N5"

1251 ><Position X="2.6431250000000004" Y="5.4470833333333335"

1252 /><Name

1253 ><![CDATA[Node 5]]></Name

1254 ><LabelAbove

1255 >True</LabelAbove

1256 ><Shape

1257 ><![CDATA[interface]]></Shape

1258 ><Info

1259 ><list-int/></Info></Node

1260 ><Node id="N6"

1261 ><Position X="1.103125" Y="5.473541666666667"

1262 /><Name

1263 ><![CDATA[Node 6]]></Name

1264 ><LabelAbove

1265 >True</LabelAbove

1266 ><Shape

1267 ><![CDATA[interface]]></Shape

1268 ><Info

1269 ><list-int/></Info></Node></Nodes

1270 ><Edges

1271 ><Edge id="E1"

1272 ><From

1273 >1</From

1274 ><PortFrom

1275 ><![CDATA[src]]></PortFrom

1276 ><To

1277 >2</To

1278 ><PortTo

1279 ><![CDATA[res]]></PortTo

1280 ><Via

1281 /><Info

1282 ><list-int/></Info></Edge

1283 ><Edge id="E2"

1284 ><From

1285 >1</From

1286 ><PortFrom

1287 ><![CDATA[snd_target]]></PortFrom

1288 ><To

1289 >4</To

1290 ><PortTo

1291 ><![CDATA[interface]]></PortTo

1292 ><Via

1293 /><Info

1294 ><list-int/></Info></Edge

1295 ><Edge id="E3"

1296 ><From

1297 >1</From

1298 ><PortFrom

1299 ><![CDATA[fst_target]]></PortFrom

1300 ><To

1301 >3</To

1302 ><PortTo

1303 ><![CDATA[interface]]></PortTo

1304 ><Via

1305 /><Info

1306 ><list-int/></Info></Edge

1307 ><Edge id="E4"

1308 ><From

1309 >2</From

1310 ><PortFrom

1311 ><![CDATA[var]]></PortFrom

1312 ><To

1313 >6</To

1314 ><PortTo

1315 ><![CDATA[interface]]></PortTo

1316 ><Via

1317 /><Info

1318 ><list-int/></Info></Edge

1319 ><Edge id="E5"

1320 ><From

1321 >2</From

1322 ><PortFrom

1323 ><![CDATA[body]]></PortFrom

1324 ><To

1325 >5</To

1326 ><PortTo

1327 ><![CDATA[interface]]></PortTo

1328 ><Via

1329 /><Info

1330 ><list-int/></Info></Edge></Edges></Network></LHS

1331 ><RHS

1332 ><Network Width="15.0" Height="9.0"

1333 ><Info

1334 ><unit/></Info

1335 ><Nodes

1336 ><Node id="N3"

1337 ><Position X="1.1879166666666667" Y="0.5264583333333334"

1338 /><Name

1339 ><![CDATA[Node 3]]></Name

1340 ><LabelAbove

1341 >True</LabelAbove

1342 ><Shape

1343 ><![CDATA[interface]]></Shape

1344 ><Info

1345 ><list-int/></Info></Node

1346 ><Node id="N4"

1347 ><Position X="2.6377083333333338" Y="0.6058333333333333"

1348 /><Name

1349 ><![CDATA[Node 4]]></Name

1350 ><LabelAbove

1351 >True</LabelAbove

1352 ><Shape

1353 ><![CDATA[interface]]></Shape

1354 ><Info

1355 ><list-int/></Info></Node

1356 ><Node id="N5"

1357 ><Position X="2.6431250000000004" Y="5.473541666666668"

1358 /><Name

1359 ><![CDATA[Node 5]]></Name

1360 ><LabelAbove

1361 >True</LabelAbove

1362 ><Shape

1363 ><![CDATA[interface]]></Shape

1364 ><Info

1365 ><list-int/></Info></Node

1366 ><Node id="N6"

1367 ><Position X="1.1560416666666664" Y="5.5"

1368 /><Name

1369 ><![CDATA[Node 6]]></Name

1370 ><LabelAbove

1371 >True</LabelAbove

1372 ><Shape

1373 ><![CDATA[interface]]></Shape

1374 ><Info

1375 ><list-int/></Info></Node

1376 ><Node id="N7"

1377 ><Position X="1.2170833333333335" Y="1.9843750000000002"

1378 /><Name

1379 ><![CDATA[Node 7]]></Name

1380 ><LabelAbove

1381 >True</LabelAbove

1382 ><Shape

1383 ><![CDATA[lambda]]></Shape

1384 ><Info

1385 ><list-int/></Info></Node

1386 ><Node id="N8"

1387 ><Position X="2.6458333333333335" Y="1.9579166666666667"

1388 /><Name

1389 ><![CDATA[Node 8]]></Name

1390 ><LabelAbove

1391 >True</LabelAbove

1392 ><Shape

1393 ><![CDATA[lambda]]></Shape

1394 ><Info

1395 ><list-int/></Info></Node

1396 ><Node id="N9"

1397 ><Position X="1.2170833333333335" Y="4.206875000000001"

1398 /><Name

1399 ><![CDATA[Node 9]]></Name

1400 ><LabelAbove

1401 >True</LabelAbove

1402 ><Shape

1403 ><![CDATA[duplicator]]></Shape

1404 ><Info

1405 ><list-int/></Info></Node

1406 ><Node id="N10"

1407 ><Position X="2.6458333333333335" Y="4.2597916666666675"

1408 /><Name

1409 ><![CDATA[Node 10]]></Name

1410 ><LabelAbove

1411 >True</LabelAbove

1412 ><Shape

1413 ><![CDATA[duplicator]]></Shape

1414 ><Info

1415 ><list-int/></Info></Node></Nodes

1416 ><Edges

1417 ><Edge id="E1"

1418 ><From

1419 >3</From

1420 ><PortFrom

1421 ><![CDATA[interface]]></PortFrom

1422 ><To

1423 >7</To

1424 ><PortTo

1425 ><![CDATA[res]]></PortTo

1426 ><Via

1427 /><Info

1428 ><list-int/></Info></Edge

1429 ><Edge id="E2"

1430 ><From

1431 >4</From

1432 ><PortFrom

1433 ><![CDATA[interface]]></PortFrom

1434 ><To

1435 >8</To

1436 ><PortTo

1437 ><![CDATA[res]]></PortTo

1438 ><Via

1439 /><Info

1440 ><list-int/></Info></Edge

1441 ><Edge id="E3"

1442 ><From

1443 >10</From

1444 ><PortFrom

1445 ><![CDATA[down]]></PortFrom

1446 ><To

1447 >5</To

1448 ><PortTo

1449 ><![CDATA[interface]]></PortTo

1450 ><Via

1451 /><Info

1452 ><list-int/></Info></Edge

1453 ><Edge id="E4"

1454 ><From

1455 >9</From

1456 ><PortFrom

1457 ><![CDATA[down]]></PortFrom

1458 ><To

1459 >6</To

1460 ><PortTo

1461 ><![CDATA[interface]]></PortTo

1462 ><Via

1463 /><Info

1464 ><list-int/></Info></Edge

1465 ><Edge id="E5"

1466 ><From

1467 >7</From

1468 ><PortFrom

1469 ><![CDATA[body]]></PortFrom

1470 ><To

1471 >10</To

1472 ><PortTo

1473 ><![CDATA[copy1]]></PortTo

1474 ><Via

1475 /><Info

1476 ><list-int/></Info></Edge

1477 ><Edge id="E6"

1478 ><From

1479 >8</From

1480 ><PortFrom

1481 ><![CDATA[body]]></PortFrom

1482 ><To

1483 >10</To

1484 ><PortTo

1485 ><![CDATA[copy2]]></PortTo

1486 ><Via

1487 /><Info

1488 ><list-int/></Info></Edge

1489 ><Edge id="E7"

1490 ><From

1491 >7</From

1492 ><PortFrom

1493 ><![CDATA[var]]></PortFrom

1494 ><To

1495 >9</To

1496 ><PortTo

1497 ><![CDATA[copy1]]></PortTo

1498 ><Via

1499 /><Info

1500 ><list-int/></Info></Edge

1501 ><Edge id="E8"

1502 ><From

1503 >9</From

1504 ><PortFrom

1505 ><![CDATA[copy2]]></PortFrom

1506 ><To

1507 >8</To

1508 ><PortTo

1509 ><![CDATA[var]]></PortTo

1510 ><Via

1511 /><Info

1512 ><list-int/></Info></Edge></Edges></Network></RHS

1513 ><Mapping

1514 ><MappingElement lhs="3" rhs="3"

1515 /><MappingElement lhs="4" rhs="4"

1516 /><MappingElement lhs="5" rhs="5"

1517 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

1518 ><INRule

1519 ><Name

1520 ><![CDATA[Duplicator_duplicator]]></Name

1521 ><LHS

1522 ><Network Width="15.0" Height="9.0"

1523 ><Info

1524 ><unit/></Info

1525 ><Nodes

1526 ><Node id="N1"

1527 ><Position X="2.0" Y="2.0"

1528 /><Name

1529 ><![CDATA[Node 1]]></Name

1530 ><LabelAbove

1531 >True</LabelAbove

1532 ><Shape

1533 ><![CDATA[duplicator]]></Shape

1534 ><Info

1535 ><list-int/></Info></Node

1536 ><Node id="N2"

1537 ><Position X="4.0" Y="2.0"

1538 /><Name

1539 ><![CDATA[Node 2]]></Name

1540 ><LabelAbove

1541 >True</LabelAbove

1542 ><Shape

1543 ><![CDATA[duplicator]]></Shape

1544 ><Info

1545 ><list-int/></Info></Node

1546 ><Node id="N3"

1547 ><Position X="1.690625" Y="0.5"

1548 /><Name

1549 ><![CDATA[Node 3]]></Name

1550 ><LabelAbove

1551 >True</LabelAbove

1552 ><Shape

1553 ><![CDATA[interface]]></Shape

1554 ><Info

1555 ><list-int/></Info></Node

1556 ><Node id="N4"

1557 ><Position X="2.29375" Y="0.5"

1558 /><Name

1559 ><![CDATA[Node 4]]></Name

1560 ><LabelAbove

1561 >True</LabelAbove

1562 ><Shape

1563 ><![CDATA[interface]]></Shape

1564 ><Info

1565 ><list-int/></Info></Node

1566 ><Node id="N5"

1567 ><Position X="3.2143749999999995" Y="4.045416666666667"

1568 /><Name

1569 ><![CDATA[Node 5]]></Name

1570 ><LabelAbove

1571 >True</LabelAbove

1572 ><Shape

1573 ><![CDATA[interface]]></Shape

1574 ><Info

1575 ><list-int/></Info></Node

1576 ><Node id="N6"

1577 ><Position X="4.77" Y="4.045416666666667"

1578 /><Name

1579 ><![CDATA[Node 6]]></Name

1580 ><LabelAbove

1581 >True</LabelAbove

1582 ><Shape

1583 ><![CDATA[interface]]></Shape

1584 ><Info

1585 ><list-int/></Info></Node></Nodes

1586 ><Edges

1587 ><Edge id="E1"

1588 ><From

1589 >1</From

1590 ><PortFrom

1591 ><![CDATA[down]]></PortFrom

1592 ><To

1593 >2</To

1594 ><PortTo

1595 ><![CDATA[down]]></PortTo

1596 ><Via

1597 /><Info

1598 ><list-int/></Info></Edge

1599 ><Edge id="E2"

1600 ><From

1601 >1</From

1602 ><PortFrom

1603 ><![CDATA[copy2]]></PortFrom

1604 ><To

1605 >4</To

1606 ><PortTo

1607 ><![CDATA[interface]]></PortTo

1608 ><Via

1609 /><Info

1610 ><list-int/></Info></Edge

1611 ><Edge id="E3"

1612 ><From

1613 >1</From

1614 ><PortFrom

1615 ><![CDATA[copy1]]></PortFrom

1616 ><To

1617 >3</To

1618 ><PortTo

1619 ><![CDATA[interface]]></PortTo

1620 ><Via

1621 /><Info

1622 ><list-int/></Info></Edge

1623 ><Edge id="E4"

1624 ><From

1625 >2</From

1626 ><PortFrom

1627 ><![CDATA[copy2]]></PortFrom

1628 ><To

1629 >6</To

1630 ><PortTo

1631 ><![CDATA[interface]]></PortTo

1632 ><Via

1633 ><Position X="4.7625" Y="1.6933333333333338"/></Via

1634 ><Info

1635 ><list-int/></Info></Edge

1636 ><Edge id="E5"

1637 ><From

1638 >2</From

1639 ><PortFrom

1640 ><![CDATA[copy1]]></PortFrom

1641 ><To

1642 >5</To

1643 ><PortTo

1644 ><![CDATA[interface]]></PortTo

1645 ><Via

1646 ><Position X="3.201458333333334" Y="1.6933333333333334"/></Via

1647 ><Info

1648 ><list-int/></Info></Edge></Edges></Network></LHS

1649 ><RHS

1650 ><Network Width="15.0" Height="9.0"

1651 ><Info

1652 ><unit/></Info

1653 ><Nodes

1654 ><Node id="N3"

1655 ><Position X="1.690625" Y="0.5"

1656 /><Name

1657 ><![CDATA[Node 3]]></Name

1658 ><LabelAbove

1659 >True</LabelAbove

1660 ><Shape

1661 ><![CDATA[interface]]></Shape

1662 ><Info

1663 ><list-int/></Info></Node

1664 ><Node id="N4"

1665 ><Position X="2.29375" Y="0.5"

1666 /><Name

1667 ><![CDATA[Node 4]]></Name

1668 ><LabelAbove

1669 >True</LabelAbove

1670 ><Shape

1671 ><![CDATA[interface]]></Shape

1672 ><Info

1673 ><list-int/></Info></Node

1674 ><Node id="N5"

1675 ><Position X="3.2143749999999995" Y="4.045416666666667"

1676 /><Name

1677 ><![CDATA[Node 5]]></Name

1678 ><LabelAbove

1679 >True</LabelAbove

1680 ><Shape

1681 ><![CDATA[interface]]></Shape

1682 ><Info

1683 ><list-int/></Info></Node

1684 ><Node id="N6"

1685 ><Position X="4.77" Y="4.045416666666667"

1686 /><Name

1687 ><![CDATA[Node 6]]></Name

1688 ><LabelAbove

1689 >True</LabelAbove

1690 ><Shape

1691 ><![CDATA[interface]]></Shape

1692 ><Info

1693 ><list-int/></Info></Node></Nodes

1694 ><Edges

1695 ><Edge id="E1"

1696 ><From

1697 >3</From

1698 ><PortFrom

1699 ><![CDATA[interface]]></PortFrom

1700 ><To

1701 >5</To

1702 ><PortTo

1703 ><![CDATA[interface]]></PortTo

1704 ><Via

1705 /><Info

1706 ><list-int/></Info></Edge

1707 ><Edge id="E2"

1708 ><From

1709 >6</From

1710 ><PortFrom

1711 ><![CDATA[interface]]></PortFrom

1712 ><To

1713 >4</To

1714 ><PortTo

1715 ><![CDATA[interface]]></PortTo

1716 ><Via

1717 /><Info

1718 ><list-int/></Info></Edge></Edges></Network></RHS

1719 ><Mapping

1720 ><MappingElement lhs="3" rhs="3"

1721 /><MappingElement lhs="4" rhs="4"

1722 /><MappingElement lhs="5" rhs="5"

1723 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

1724 ><INRule

1725 ><Name

1726 ><![CDATA[Erase_Lambda]]></Name

1727 ><LHS

1728 ><Network Width="15.0" Height="9.0"

1729 ><Info

1730 ><unit/></Info

1731 ><Nodes

1732 ><Node id="N1"

1733 ><Position X="2.0" Y="2.0"

1734 /><Name

1735 ><![CDATA[Node 1]]></Name

1736 ><LabelAbove

1737 >True</LabelAbove

1738 ><Shape

1739 ><![CDATA[Erase]]></Shape

1740 ><Info

1741 ><list-int/></Info></Node

1742 ><Node id="N2"

1743 ><Position X="2.0" Y="4.0"

1744 /><Name

1745 ><![CDATA[Node 2]]></Name

1746 ><LabelAbove

1747 >True</LabelAbove

1748 ><Shape

1749 ><![CDATA[lambda]]></Shape

1750 ><Info

1751 ><list-int/></Info></Node

1752 ><Node id="N3"

1753 ><Position X="2.590208333333334" Y="5.473541666666666"

1754 /><Name

1755 ><![CDATA[Node 3]]></Name

1756 ><LabelAbove

1757 >True</LabelAbove

1758 ><Shape

1759 ><![CDATA[interface]]></Shape

1760 ><Info

1761 ><list-int/></Info></Node

1762 ><Node id="N4"

1763 ><Position X="1.5" Y="5.5"

1764 /><Name

1765 ><![CDATA[Node 4]]></Name

1766 ><LabelAbove

1767 >True</LabelAbove

1768 ><Shape

1769 ><![CDATA[interface]]></Shape

1770 ><Info

1771 ><list-int/></Info></Node></Nodes

1772 ><Edges

1773 ><Edge id="E1"

1774 ><From

1775 >1</From

1776 ><PortFrom

1777 ><![CDATA[down]]></PortFrom

1778 ><To

1779 >2</To

1780 ><PortTo

1781 ><![CDATA[res]]></PortTo

1782 ><Via

1783 /><Info

1784 ><list-int/></Info></Edge

1785 ><Edge id="E2"

1786 ><From

1787 >2</From

1788 ><PortFrom

1789 ><![CDATA[var]]></PortFrom

1790 ><To

1791 >4</To

1792 ><PortTo

1793 ><![CDATA[interface]]></PortTo

1794 ><Via

1795 /><Info

1796 ><list-int/></Info></Edge

1797 ><Edge id="E3"

1798 ><From

1799 >2</From

1800 ><PortFrom

1801 ><![CDATA[body]]></PortFrom

1802 ><To

1803 >3</To

1804 ><PortTo

1805 ><![CDATA[interface]]></PortTo

1806 ><Via

1807 /><Info

1808 ><list-int/></Info></Edge></Edges></Network></LHS

1809 ><RHS

1810 ><Network Width="15.0" Height="9.0"

1811 ><Info

1812 ><unit/></Info

1813 ><Nodes

1814 ><Node id="N3"

1815 ><Position X="2.590208333333334" Y="5.473541666666666"

1816 /><Name

1817 ><![CDATA[Node 3]]></Name

1818 ><LabelAbove

1819 >True</LabelAbove

1820 ><Shape

1821 ><![CDATA[interface]]></Shape

1822 ><Info

1823 ><list-int/></Info></Node

1824 ><Node id="N4"

1825 ><Position X="1.5" Y="5.5"

1826 /><Name

1827 ><![CDATA[Node 4]]></Name

1828 ><LabelAbove

1829 >True</LabelAbove

1830 ><Shape

1831 ><![CDATA[interface]]></Shape

1832 ><Info

1833 ><list-int/></Info></Node

1834 ><Node id="N5"

1835 ><Position X="1.5081250000000002" Y="3.677708333333334"

1836 /><Name

1837 ><![CDATA[Node 5]]></Name

1838 ><LabelAbove

1839 >True</LabelAbove

1840 ><Shape

1841 ><![CDATA[Erase]]></Shape

1842 ><Info

1843 ><list-int/></Info></Node

1844 ><Node id="N6"

1845 ><Position X="2.5664583333333337" Y="3.6512500000000006"

1846 /><Name

1847 ><![CDATA[Node 6]]></Name

1848 ><LabelAbove

1849 >True</LabelAbove

1850 ><Shape

1851 ><![CDATA[Erase]]></Shape

1852 ><Info

1853 ><list-int/></Info></Node></Nodes

1854 ><Edges

1855 ><Edge id="E1"

1856 ><From

1857 >5</From

1858 ><PortFrom

1859 ><![CDATA[down]]></PortFrom

1860 ><To

1861 >4</To

1862 ><PortTo

1863 ><![CDATA[interface]]></PortTo

1864 ><Via

1865 /><Info

1866 ><list-int/></Info></Edge

1867 ><Edge id="E2"

1868 ><From

1869 >6</From

1870 ><PortFrom

1871 ><![CDATA[down]]></PortFrom

1872 ><To

1873 >3</To

1874 ><PortTo

1875 ><![CDATA[interface]]></PortTo

1876 ><Via

1877 /><Info

1878 ><list-int/></Info></Edge></Edges></Network></RHS

1879 ><Mapping

1880 ><MappingElement lhs="3" rhs="3"

1881 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

1882 ><INRule

1883 ><Name

1884 ><![CDATA[Erase_Application]]></Name

1885 ><LHS

1886 ><Network Width="15.0" Height="9.0"

1887 ><Info

1888 ><unit/></Info

1889 ><Nodes

1890 ><Node id="N1"

1891 ><Position X="2.0" Y="2.0"

1892 /><Name

1893 ><![CDATA[Node 1]]></Name

1894 ><LabelAbove

1895 >True</LabelAbove

1896 ><Shape

1897 ><![CDATA[Erase]]></Shape

1898 ><Info

1899 ><list-int/></Info></Node

1900 ><Node id="N2"

1901 ><Position X="4.2910416666666675" Y="2.200833333333333"

1902 /><Name

1903 ><![CDATA[Node 2]]></Name

1904 ><LabelAbove

1905 >True</LabelAbove

1906 ><Shape

1907 ><![CDATA[application]]></Shape

1908 ><Info

1909 ><list-int/></Info></Node

1910 ><Node id="N3"

1911 ><Position X="4.3100000000000005" Y="0.7381249999999997"

1912 /><Name

1913 ><![CDATA[Node 3]]></Name

1914 ><LabelAbove

1915 >True</LabelAbove

1916 ><Shape

1917 ><![CDATA[interface]]></Shape

1918 ><Info

1919 ><list-int/></Info></Node

1920 ><Node id="N4"

1921 ><Position X="4.601041666666666" Y="4.653333333333333"

1922 /><Name

1923 ><![CDATA[Node 4]]></Name

1924 ><LabelAbove

1925 >True</LabelAbove

1926 ><Shape

1927 ><![CDATA[interface]]></Shape

1928 ><Info

1929 ><list-int/></Info></Node></Nodes

1930 ><Edges

1931 ><Edge id="E1"

1932 ><From

1933 >1</From

1934 ><PortFrom

1935 ><![CDATA[down]]></PortFrom

1936 ><To

1937 >2</To

1938 ><PortTo

1939 ><![CDATA[func]]></PortTo

1940 ><Via

1941 /><Info

1942 ><list-int/></Info></Edge

1943 ><Edge id="E2"

1944 ><From

1945 >2</From

1946 ><PortFrom

1947 ><![CDATA[arg]]></PortFrom

1948 ><To

1949 >4</To

1950 ><PortTo

1951 ><![CDATA[interface]]></PortTo

1952 ><Via

1953 /><Info

1954 ><list-int/></Info></Edge

1955 ><Edge id="E3"

1956 ><From

1957 >2</From

1958 ><PortFrom

1959 ><![CDATA[res]]></PortFrom

1960 ><To

1961 >3</To

1962 ><PortTo

1963 ><![CDATA[interface]]></PortTo

1964 ><Via

1965 /><Info

1966 ><list-int/></Info></Edge></Edges></Network></LHS

1967 ><RHS

1968 ><Network Width="15.0" Height="9.0"

1969 ><Info

1970 ><unit/></Info

1971 ><Nodes

1972 ><Node id="N3"

1973 ><Position X="4.3100000000000005" Y="0.7381249999999997"

1974 /><Name

1975 ><![CDATA[Node 3]]></Name

1976 ><LabelAbove

1977 >True</LabelAbove

1978 ><Shape

1979 ><![CDATA[interface]]></Shape

1980 ><Info

1981 ><list-int/></Info></Node

1982 ><Node id="N4"

1983 ><Position X="4.601041666666666" Y="4.653333333333333"

1984 /><Name

1985 ><![CDATA[Node 4]]></Name

1986 ><LabelAbove

1987 >True</LabelAbove

1988 ><Shape

1989 ><![CDATA[interface]]></Shape

1990 ><Info

1991 ><list-int/></Info></Node

1992 ><Node id="N5"

1993 ><Position X="2.275416666666667" Y="1.27"

1994 /><Name

1995 ><![CDATA[Node 5]]></Name

1996 ><LabelAbove

1997 >True</LabelAbove

1998 ><Shape

1999 ><![CDATA[Erase]]></Shape

2000 ><Info

2001 ><list-int/></Info></Node

2002 ><Node id="N6"

2003 ><Position X="4.603750000000001" Y="3.2808333333333337"

2004 /><Name

2005 ><![CDATA[Node 6]]></Name

2006 ><LabelAbove

2007 >True</LabelAbove

2008 ><Shape

2009 ><![CDATA[Erase]]></Shape

2010 ><Info

2011 ><list-int/></Info></Node></Nodes

2012 ><Edges

2013 ><Edge id="E1"

2014 ><From

2015 >5</From

2016 ><PortFrom

2017 ><![CDATA[down]]></PortFrom

2018 ><To

2019 >3</To

2020 ><PortTo

2021 ><![CDATA[interface]]></PortTo

2022 ><Via

2023 ><Position X="4.286250000000001" Y="1.74625"/></Via

2024 ><Info

2025 ><list-int/></Info></Edge

2026 ><Edge id="E2"

2027 ><From

2028 >6</From

2029 ><PortFrom

2030 ><![CDATA[down]]></PortFrom

2031 ><To

2032 >4</To

2033 ><PortTo

2034 ><![CDATA[interface]]></PortTo

2035 ><Via

2036 /><Info

2037 ><list-int/></Info></Edge></Edges></Network></RHS

2038 ><Mapping

2039 ><MappingElement lhs="3" rhs="3"

2040 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

2041 ><INRule

2042 ><Name

2043 ><![CDATA[Erase_Evaluator]]></Name

2044 ><LHS

2045 ><Network Width="15.0" Height="9.0"

2046 ><Info

2047 ><unit/></Info

2048 ><Nodes

2049 ><Node id="N1"

2050 ><Position X="2.0" Y="2.0"

2051 /><Name

2052 ><![CDATA[Node 1]]></Name

2053 ><LabelAbove

2054 >True</LabelAbove

2055 ><Shape

2056 ><![CDATA[Erase]]></Shape

2057 ><Info

2058 ><list-int/></Info></Node

2059 ><Node id="N2"

2060 ><Position X="4.0" Y="2.0"

2061 /><Name

2062 ><![CDATA[Node 2]]></Name

2063 ><LabelAbove

2064 >True</LabelAbove

2065 ><Shape

2066 ><![CDATA[evaluation]]></Shape

2067 ><Info

2068 ><list-int/></Info></Node

2069 ><Node id="N3"

2070 ><Position X="4.018958333333334" Y="0.6058333333333334"

2071 /><Name

2072 ><![CDATA[Node 3]]></Name

2073 ><LabelAbove

2074 >True</LabelAbove

2075 ><Shape

2076 ><![CDATA[interface]]></Shape

2077 ><Info

2078 ><list-int/></Info></Node></Nodes

2079 ><Edges

2080 ><Edge id="E1"

2081 ><From

2082 >1</From

2083 ><PortFrom

2084 ><![CDATA[down]]></PortFrom

2085 ><To

2086 >2</To

2087 ><PortTo

2088 ><![CDATA[arg]]></PortTo

2089 ><Via

2090 /><Info

2091 ><list-int/></Info></Edge

2092 ><Edge id="E2"

2093 ><From

2094 >2</From

2095 ><PortFrom

2096 ><![CDATA[res]]></PortFrom

2097 ><To

2098 >3</To

2099 ><PortTo

2100 ><![CDATA[interface]]></PortTo

2101 ><Via

2102 /><Info

2103 ><list-int/></Info></Edge></Edges></Network></LHS

2104 ><RHS

2105 ><Network Width="15.0" Height="9.0"

2106 ><Info

2107 ><unit/></Info

2108 ><Nodes

2109 ><Node id="N3"

2110 ><Position X="4.018958333333334" Y="0.6058333333333334"

2111 /><Name

2112 ><![CDATA[Node 3]]></Name

2113 ><LabelAbove

2114 >True</LabelAbove

2115 ><Shape

2116 ><![CDATA[interface]]></Shape

2117 ><Info

2118 ><list-int/></Info></Node

2119 ><Node id="N4"

2120 ><Position X="2.54" Y="1.825625"

2121 /><Name

2122 ><![CDATA[Node 4]]></Name

2123 ><LabelAbove

2124 >True</LabelAbove

2125 ><Shape

2126 ><![CDATA[Erase]]></Shape

2127 ><Info

2128 ><list-int/></Info></Node></Nodes

2129 ><Edges

2130 ><Edge id="E1"

2131 ><From

2132 >4</From

2133 ><PortFrom

2134 ><![CDATA[down]]></PortFrom

2135 ><To

2136 >3</To

2137 ><PortTo

2138 ><![CDATA[interface]]></PortTo

2139 ><Via

2140 ><Position X="3.9952083333333337" Y="2.328333333333333"/></Via

2141 ><Info

2142 ><list-int/></Info></Edge></Edges></Network></RHS

2143 ><Mapping

2144 ><MappingElement lhs="3" rhs="3"/></Mapping></INRule

2145 ><INRule

2146 ><Name

2147 ><![CDATA[Erase_EvaluatorReturning]]></Name

2148 ><LHS

2149 ><Network Width="15.0" Height="9.0"

2150 ><Info

2151 ><unit/></Info

2152 ><Nodes

2153 ><Node id="N1"

2154 ><Position X="2.0" Y="2.0"

2155 /><Name

2156 ><![CDATA[Node 1]]></Name

2157 ><LabelAbove

2158 >True</LabelAbove

2159 ><Shape

2160 ><![CDATA[Erase]]></Shape

2161 ><Info

2162 ><list-int/></Info></Node

2163 ><Node id="N2"

2164 ><Position X="2.0" Y="4.0"

2165 /><Name

2166 ><![CDATA[Node 2]]></Name

2167 ><LabelAbove

2168 >True</LabelAbove

2169 ><Shape

2170 ><![CDATA[evalReturn]]></Shape

2171 ><Info

2172 ><list-int/></Info></Node

2173 ><Node id="N3"

2174 ><Position X="2.008125" Y="5.6587499999999995"

2175 /><Name

2176 ><![CDATA[Node 3]]></Name

2177 ><LabelAbove

2178 >True</LabelAbove

2179 ><Shape

2180 ><![CDATA[interface]]></Shape

2181 ><Info

2182 ><list-int/></Info></Node></Nodes

2183 ><Edges

2184 ><Edge id="E1"

2185 ><From

2186 >1</From

2187 ><PortFrom

2188 ><![CDATA[down]]></PortFrom

2189 ><To

2190 >2</To

2191 ><PortTo

2192 ><![CDATA[res]]></PortTo

2193 ><Via

2194 /><Info

2195 ><list-int/></Info></Edge

2196 ><Edge id="E2"

2197 ><From

2198 >2</From

2199 ><PortFrom

2200 ><![CDATA[arg]]></PortFrom

2201 ><To

2202 >3</To

2203 ><PortTo

2204 ><![CDATA[interface]]></PortTo

2205 ><Via

2206 /><Info

2207 ><list-int/></Info></Edge></Edges></Network></LHS

2208 ><RHS

2209 ><Network Width="15.0" Height="9.0"

2210 ><Info

2211 ><unit/></Info

2212 ><Nodes

2213 ><Node id="N3"

2214 ><Position X="2.008125" Y="5.6587499999999995"

2215 /><Name

2216 ><![CDATA[Node 3]]></Name

2217 ><LabelAbove

2218 >True</LabelAbove

2219 ><Shape

2220 ><![CDATA[interface]]></Shape

2221 ><Info

2222 ><list-int/></Info></Node

2223 ><Node id="N4"

2224 ><Position X="2.0108333333333333" Y="3.624791666666667"

2225 /><Name

2226 ><![CDATA[Node 4]]></Name

2227 ><LabelAbove

2228 >True</LabelAbove

2229 ><Shape

2230 ><![CDATA[Erase]]></Shape

2231 ><Info

2232 ><list-int/></Info></Node></Nodes

2233 ><Edges

2234 ><Edge id="E1"

2235 ><From

2236 >4</From

2237 ><PortFrom

2238 ><![CDATA[down]]></PortFrom

2239 ><To

2240 >3</To

2241 ><PortTo

2242 ><![CDATA[interface]]></PortTo

2243 ><Via

2244 /><Info

2245 ><list-int/></Info></Edge></Edges></Network></RHS

2246 ><Mapping

2247 ><MappingElement lhs="3" rhs="3"/></Mapping></INRule

2248 ><INRule

2249 ><Name

2250 ><![CDATA[Erase_preApplication]]></Name

2251 ><LHS

2252 ><Network Width="15.0" Height="9.0"

2253 ><Info

2254 ><unit/></Info

2255 ><Nodes

2256 ><Node id="N1"

2257 ><Position X="2.0" Y="2.0"

2258 /><Name

2259 ><![CDATA[Node 1]]></Name

2260 ><LabelAbove

2261 >True</LabelAbove

2262 ><Shape

2263 ><![CDATA[Erase]]></Shape

2264 ><Info

2265 ><list-int/></Info></Node

2266 ><Node id="N2"

2267 ><Position X="2.0" Y="4.0"

2268 /><Name

2269 ><![CDATA[Node 2]]></Name

2270 ><LabelAbove

2271 >True</LabelAbove

2272 ><Shape

2273 ><![CDATA[beforeApplication]]></Shape

2274 ><Info

2275 ><list-int/></Info></Node

2276 ><Node id="N3"

2277 ><Position X="2.4843750000000004" Y="5.473541666666668"

2278 /><Name

2279 ><![CDATA[Node 3]]></Name

2280 ><LabelAbove

2281 >True</LabelAbove

2282 ><Shape

2283 ><![CDATA[interface]]></Shape

2284 ><Info

2285 ><list-int/></Info></Node

2286 ><Node id="N4"

2287 ><Position X="1.5" Y="5.5"

2288 /><Name

2289 ><![CDATA[Node 4]]></Name

2290 ><LabelAbove

2291 >True</LabelAbove

2292 ><Shape

2293 ><![CDATA[interface]]></Shape

2294 ><Info

2295 ><list-int/></Info></Node></Nodes

2296 ><Edges

2297 ><Edge id="E1"

2298 ><From

2299 >1</From

2300 ><PortFrom

2301 ><![CDATA[down]]></PortFrom

2302 ><To

2303 >2</To

2304 ><PortTo

2305 ><![CDATA[res]]></PortTo

2306 ><Via

2307 /><Info

2308 ><list-int/></Info></Edge

2309 ><Edge id="E2"

2310 ><From

2311 >2</From

2312 ><PortFrom

2313 ><![CDATA[func]]></PortFrom

2314 ><To

2315 >4</To

2316 ><PortTo

2317 ><![CDATA[interface]]></PortTo

2318 ><Via

2319 /><Info

2320 ><list-int/></Info></Edge

2321 ><Edge id="E3"

2322 ><From

2323 >2</From

2324 ><PortFrom

2325 ><![CDATA[arg]]></PortFrom

2326 ><To

2327 >3</To

2328 ><PortTo

2329 ><![CDATA[interface]]></PortTo

2330 ><Via

2331 /><Info

2332 ><list-int/></Info></Edge></Edges></Network></LHS

2333 ><RHS

2334 ><Network Width="15.0" Height="9.0"

2335 ><Info

2336 ><unit/></Info

2337 ><Nodes

2338 ><Node id="N3"

2339 ><Position X="2.4843750000000004" Y="5.473541666666668"

2340 /><Name

2341 ><![CDATA[Node 3]]></Name

2342 ><LabelAbove

2343 >True</LabelAbove

2344 ><Shape

2345 ><![CDATA[interface]]></Shape

2346 ><Info

2347 ><list-int/></Info></Node

2348 ><Node id="N4"

2349 ><Position X="1.5" Y="5.5"

2350 /><Name

2351 ><![CDATA[Node 4]]></Name

2352 ><LabelAbove

2353 >True</LabelAbove

2354 ><Shape

2355 ><![CDATA[interface]]></Shape

2356 ><Info

2357 ><list-int/></Info></Node

2358 ><Node id="N5"

2359 ><Position X="1.3229166666666667" Y="3.5983333333333336"

2360 /><Name

2361 ><![CDATA[Node 5]]></Name

2362 ><LabelAbove

2363 >True</LabelAbove

2364 ><Shape

2365 ><![CDATA[Erase]]></Shape

2366 ><Info

2367 ><list-int/></Info></Node

2368 ><Node id="N6"

2369 ><Position X="2.8045833333333334" Y="3.5718750000000004"

2370 /><Name

2371 ><![CDATA[Node 6]]></Name

2372 ><LabelAbove

2373 >True</LabelAbove

2374 ><Shape

2375 ><![CDATA[Erase]]></Shape

2376 ><Info

2377 ><list-int/></Info></Node></Nodes

2378 ><Edges

2379 ><Edge id="E1"

2380 ><From

2381 >5</From

2382 ><PortFrom

2383 ><![CDATA[down]]></PortFrom

2384 ><To

2385 >4</To

2386 ><PortTo

2387 ><![CDATA[interface]]></PortTo

2388 ><Via

2389 /><Info

2390 ><list-int/></Info></Edge

2391 ><Edge id="E2"

2392 ><From

2393 >6</From

2394 ><PortFrom

2395 ><![CDATA[down]]></PortFrom

2396 ><To

2397 >3</To

2398 ><PortTo

2399 ><![CDATA[interface]]></PortTo

2400 ><Via

2401 /><Info

2402 ><list-int/></Info></Edge></Edges></Network></RHS

2403 ><Mapping

2404 ><MappingElement lhs="3" rhs="3"

2405 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

2406 ><INRule

2407 ><Name

2408 ><![CDATA[Erase_Copy]]></Name

2409 ><LHS

2410 ><Network Width="15.0" Height="9.0"

2411 ><Info

2412 ><unit/></Info

2413 ><Nodes

2414 ><Node id="N1"

2415 ><Position X="2.0" Y="2.0"

2416 /><Name

2417 ><![CDATA[Node 1]]></Name

2418 ><LabelAbove

2419 >True</LabelAbove

2420 ><Shape

2421 ><![CDATA[Erase]]></Shape

2422 ><Info

2423 ><list-int/></Info></Node

2424 ><Node id="N2"

2425 ><Position X="4.0529166666666665" Y="2.211666666666667"

2426 /><Name

2427 ><![CDATA[Node 2]]></Name

2428 ><LabelAbove

2429 >True</LabelAbove

2430 ><Shape

2431 ><![CDATA[copy]]></Shape

2432 ><Info

2433 ><list-int/></Info></Node

2434 ><Node id="N3"

2435 ><Position X="3.4104166666666673" Y="0.8174999999999999"

2436 /><Name

2437 ><![CDATA[Node 3]]></Name

2438 ><LabelAbove

2439 >True</LabelAbove

2440 ><Shape

2441 ><![CDATA[interface]]></Shape

2442 ><Info

2443 ><list-int/></Info></Node

2444 ><Node id="N4"

2445 ><Position X="4.860208333333334" Y="0.8175000000000001"

2446 /><Name

2447 ><![CDATA[Node 4]]></Name

2448 ><LabelAbove

2449 >True</LabelAbove

2450 ><Shape

2451 ><![CDATA[interface]]></Shape

2452 ><Info

2453 ><list-int/></Info></Node></Nodes

2454 ><Edges

2455 ><Edge id="E1"

2456 ><From

2457 >1</From

2458 ><PortFrom

2459 ><![CDATA[down]]></PortFrom

2460 ><To

2461 >2</To

2462 ><PortTo

2463 ><![CDATA[src]]></PortTo

2464 ><Via

2465 /><Info

2466 ><list-int/></Info></Edge

2467 ><Edge id="E2"

2468 ><From

2469 >2</From

2470 ><PortFrom

2471 ><![CDATA[snd_target]]></PortFrom

2472 ><To

2473 >4</To

2474 ><PortTo

2475 ><![CDATA[interface]]></PortTo

2476 ><Via

2477 /><Info

2478 ><list-int/></Info></Edge

2479 ><Edge id="E3"

2480 ><From

2481 >2</From

2482 ><PortFrom

2483 ><![CDATA[fst_target]]></PortFrom

2484 ><To

2485 >3</To

2486 ><PortTo

2487 ><![CDATA[interface]]></PortTo

2488 ><Via

2489 /><Info

2490 ><list-int/></Info></Edge></Edges></Network></LHS

2491 ><RHS

2492 ><Network Width="15.0" Height="9.0"

2493 ><Info

2494 ><unit/></Info

2495 ><Nodes

2496 ><Node id="N3"

2497 ><Position X="3.4104166666666673" Y="0.8174999999999999"

2498 /><Name

2499 ><![CDATA[Node 3]]></Name

2500 ><LabelAbove

2501 >True</LabelAbove

2502 ><Shape

2503 ><![CDATA[interface]]></Shape

2504 ><Info

2505 ><list-int/></Info></Node

2506 ><Node id="N4"

2507 ><Position X="4.860208333333334" Y="0.8175000000000001"

2508 /><Name

2509 ><![CDATA[Node 4]]></Name

2510 ><LabelAbove

2511 >True</LabelAbove

2512 ><Shape

2513 ><![CDATA[interface]]></Shape

2514 ><Info

2515 ><list-int/></Info></Node

2516 ><Node id="N5"

2517 ><Position X="2.354791666666667" Y="2.672291666666667"

2518 /><Name

2519 ><![CDATA[Node 5]]></Name

2520 ><LabelAbove

2521 >True</LabelAbove

2522 ><Shape

2523 ><![CDATA[Erase]]></Shape

2524 ><Info

2525 ><list-int/></Info></Node

2526 ><Node id="N6"

2527 ><Position X="6.164791666666667" Y="2.6722916666666667"

2528 /><Name

2529 ><![CDATA[Node 6]]></Name

2530 ><LabelAbove

2531 >True</LabelAbove

2532 ><Shape

2533 ><![CDATA[Erase]]></Shape

2534 ><Info

2535 ><list-int/></Info></Node></Nodes

2536 ><Edges

2537 ><Edge id="E1"

2538 ><From

2539 >5</From

2540 ><PortFrom

2541 ><![CDATA[down]]></PortFrom

2542 ><To

2543 >3</To

2544 ><PortTo

2545 ><![CDATA[interface]]></PortTo

2546 ><Via

2547 ><Position X="3.3866666666666667" Y="3.148541666666667"/></Via

2548 ><Info

2549 ><list-int/></Info></Edge

2550 ><Edge id="E2"

2551 ><From

2552 >6</From

2553 ><PortFrom

2554 ><![CDATA[down]]></PortFrom

2555 ><To

2556 >4</To

2557 ><PortTo

2558 ><![CDATA[interface]]></PortTo

2559 ><Via

2560 ><Position X="4.841875000000001" Y="3.175"/></Via

2561 ><Info

2562 ><list-int/></Info></Edge></Edges></Network></RHS

2563 ><Mapping

2564 ><MappingElement lhs="3" rhs="3"

2565 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

2566 ><INRule

2567 ><Name

2568 ><![CDATA[Erase_Duplicator]]></Name

2569 ><LHS

2570 ><Network Width="15.0" Height="9.0"

2571 ><Info

2572 ><unit/></Info

2573 ><Nodes

2574 ><Node id="N1"

2575 ><Position X="2.0" Y="2.0"

2576 /><Name

2577 ><![CDATA[Node 1]]></Name

2578 ><LabelAbove

2579 >True</LabelAbove

2580 ><Shape

2581 ><![CDATA[Erase]]></Shape

2582 ><Info

2583 ><list-int/></Info></Node

2584 ><Node id="N2"

2585 ><Position X="4.0" Y="2.0"

2586 /><Name

2587 ><![CDATA[Node 2]]></Name

2588 ><LabelAbove

2589 >True</LabelAbove

2590 ><Shape

2591 ><![CDATA[duplicator]]></Shape

2592 ><Info

2593 ><list-int/></Info></Node

2594 ><Node id="N3"

2595 ><Position X="2.8283333333333336" Y="0.6058333333333332"

2596 /><Name

2597 ><![CDATA[Node 3]]></Name

2598 ><LabelAbove

2599 >True</LabelAbove

2600 ><Shape

2601 ><![CDATA[interface]]></Shape

2602 ><Info

2603 ><list-int/></Info></Node

2604 ><Node id="N4"

2605 ><Position X="5.124791666666667" Y="0.6322916666666667"

2606 /><Name

2607 ><![CDATA[Node 4]]></Name

2608 ><LabelAbove

2609 >True</LabelAbove

2610 ><Shape

2611 ><![CDATA[interface]]></Shape

2612 ><Info

2613 ><list-int/></Info></Node></Nodes

2614 ><Edges

2615 ><Edge id="E1"

2616 ><From

2617 >1</From

2618 ><PortFrom

2619 ><![CDATA[down]]></PortFrom

2620 ><To

2621 >2</To

2622 ><PortTo

2623 ><![CDATA[down]]></PortTo

2624 ><Via

2625 /><Info

2626 ><list-int/></Info></Edge

2627 ><Edge id="E2"

2628 ><From

2629 >2</From

2630 ><PortFrom

2631 ><![CDATA[copy2]]></PortFrom

2632 ><To

2633 >4</To

2634 ><PortTo

2635 ><![CDATA[interface]]></PortTo

2636 ><Via

2637 /><Info

2638 ><list-int/></Info></Edge

2639 ><Edge id="E3"

2640 ><From

2641 >2</From

2642 ><PortFrom

2643 ><![CDATA[copy1]]></PortFrom

2644 ><To

2645 >3</To

2646 ><PortTo

2647 ><![CDATA[interface]]></PortTo

2648 ><Via

2649 /><Info

2650 ><list-int/></Info></Edge></Edges></Network></LHS

2651 ><RHS

2652 ><Network Width="15.0" Height="9.0"

2653 ><Info

2654 ><unit/></Info

2655 ><Nodes

2656 ><Node id="N3"

2657 ><Position X="2.8283333333333336" Y="0.6058333333333332"

2658 /><Name

2659 ><![CDATA[Node 3]]></Name

2660 ><LabelAbove

2661 >True</LabelAbove

2662 ><Shape

2663 ><![CDATA[interface]]></Shape

2664 ><Info

2665 ><list-int/></Info></Node

2666 ><Node id="N4"

2667 ><Position X="5.124791666666667" Y="0.6322916666666667"

2668 /><Name

2669 ><![CDATA[Node 4]]></Name

2670 ><LabelAbove

2671 >True</LabelAbove

2672 ><Shape

2673 ><![CDATA[interface]]></Shape

2674 ><Info

2675 ><list-int/></Info></Node

2676 ><Node id="N5"

2677 ><Position X="1.508125" Y="2.3283333333333336"

2678 /><Name

2679 ><![CDATA[Node 5]]></Name

2680 ><LabelAbove

2681 >True</LabelAbove

2682 ><Shape

2683 ><![CDATA[Erase]]></Shape

2684 ><Info

2685 ><list-int/></Info></Node

2686 ><Node id="N6"

2687 ><Position X="6.588125000000001" Y="2.3283333333333336"

2688 /><Name

2689 ><![CDATA[Node 6]]></Name

2690 ><LabelAbove

2691 >True</LabelAbove

2692 ><Shape

2693 ><![CDATA[Erase]]></Shape

2694 ><Info

2695 ><list-int/></Info></Node></Nodes

2696 ><Edges

2697 ><Edge id="E1"

2698 ><From

2699 >3</From

2700 ><PortFrom

2701 ><![CDATA[interface]]></PortFrom

2702 ><To

2703 >5</To

2704 ><PortTo

2705 ><![CDATA[down]]></PortTo

2706 ><Via

2707 ><Position X="2.804583333333334" Y="2.8045833333333334"/></Via

2708 ><Info

2709 ><list-int/></Info></Edge

2710 ><Edge id="E2"

2711 ><From

2712 >4</From

2713 ><PortFrom

2714 ><![CDATA[interface]]></PortFrom

2715 ><To

2716 >6</To

2717 ><PortTo

2718 ><![CDATA[down]]></PortTo

2719 ><Via

2720 ><Position X="5.106458333333333" Y="2.8045833333333334"/></Via

2721 ><Info

2722 ><list-int/></Info></Edge></Edges></Network></RHS

2723 ><Mapping

2724 ><MappingElement lhs="3" rhs="3"

2725 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

2726 ><INRule

2727 ><Name

2728 ><![CDATA[Erase_Erase]]></Name

2729 ><LHS

2730 ><Network Width="15.0" Height="9.0"

2731 ><Info

2732 ><unit/></Info

2733 ><Nodes

2734 ><Node id="N1"

2735 ><Position X="2.0" Y="2.0"

2736 /><Name

2737 ><![CDATA[Node 1]]></Name

2738 ><LabelAbove

2739 >True</LabelAbove

2740 ><Shape

2741 ><![CDATA[Erase]]></Shape

2742 ><Info

2743 ><list-int/></Info></Node

2744 ><Node id="N2"

2745 ><Position X="4.0" Y="2.0"

2746 /><Name

2747 ><![CDATA[Node 2]]></Name

2748 ><LabelAbove

2749 >True</LabelAbove

2750 ><Shape

2751 ><![CDATA[Erase]]></Shape

2752 ><Info

2753 ><list-int/></Info></Node></Nodes

2754 ><Edges

2755 ><Edge id="E1"

2756 ><From

2757 >1</From

2758 ><PortFrom

2759 ><![CDATA[down]]></PortFrom

2760 ><To

2761 >2</To

2762 ><PortTo

2763 ><![CDATA[down]]></PortTo

2764 ><Via

2765 /><Info

2766 ><list-int/></Info></Edge></Edges></Network></LHS

2767 ><RHS

2768 ><Network Width="15.0" Height="9.0"

2769 ><Info

2770 ><unit/></Info

2771 ><Nodes

2772 /><Edges/></Network></RHS

2773 ><Mapping/></INRule

2774 ><INRule

2775 ><Name

2776 ><![CDATA[Copy_Application]]></Name

2777 ><LHS

2778 ><Network Width="15.0" Height="9.0"

2779 ><Info

2780 ><unit/></Info

2781 ><Nodes

2782 ><Node id="N1"

2783 ><Position X="2.0" Y="2.0"

2784 /><Name

2785 ><![CDATA[Node 1]]></Name

2786 ><LabelAbove

2787 >True</LabelAbove

2788 ><Shape

2789 ><![CDATA[copy]]></Shape

2790 ><Info

2791 ><list-int/></Info></Node

2792 ><Node id="N2"

2793 ><Position X="3.6560416666666664" Y="2.88875"

2794 /><Name

2795 ><![CDATA[Node 2]]></Name

2796 ><LabelAbove

2797 >True</LabelAbove

2798 ><Shape

2799 ><![CDATA[application]]></Shape

2800 ><Info

2801 ><list-int/></Info></Node

2802 ><Node id="N3"

2803 ><Position X="1.5583333333333336" Y="0.5264583333333334"

2804 /><Name

2805 ><![CDATA[Node 3]]></Name

2806 ><LabelAbove

2807 >True</LabelAbove

2808 ><Shape

2809 ><![CDATA[interface]]></Shape

2810 ><Info

2811 ><list-int/></Info></Node

2812 ><Node id="N4"

2813 ><Position X="2.5318750000000003" Y="0.5529166666666667"

2814 /><Name

2815 ><![CDATA[Node 4]]></Name

2816 ><LabelAbove

2817 >True</LabelAbove

2818 ><Shape

2819 ><![CDATA[interface]]></Shape

2820 ><Info

2821 ><list-int/></Info></Node

2822 ><Node id="N5"

2823 ><Position X="2.6587500000000004" Y="5.130208333333333"

2824 /><Name

2825 ><![CDATA[Node 5]]></Name

2826 ><LabelAbove

2827 >True</LabelAbove

2828 ><Shape

2829 ><![CDATA[interface]]></Shape

2830 ><Info

2831 ><list-int/></Info></Node

2832 ><Node id="N6"

2833 ><Position X="3.9660416666666674" Y="5.1295833333333345"

2834 /><Name

2835 ><![CDATA[Node 6]]></Name

2836 ><LabelAbove

2837 >True</LabelAbove

2838 ><Shape

2839 ><![CDATA[interface]]></Shape

2840 ><Info

2841 ><list-int/></Info></Node></Nodes

2842 ><Edges

2843 ><Edge id="E1"

2844 ><From

2845 >1</From

2846 ><PortFrom

2847 ><![CDATA[src]]></PortFrom

2848 ><To

2849 >2</To

2850 ><PortTo

2851 ><![CDATA[func]]></PortTo

2852 ><Via

2853 ><Position X="1.9843750000000009" Y="3.1750000000000003"/></Via

2854 ><Info

2855 ><list-int/></Info></Edge

2856 ><Edge id="E2"

2857 ><From

2858 >1</From

2859 ><PortFrom

2860 ><![CDATA[snd_target]]></PortFrom

2861 ><To

2862 >4</To

2863 ><PortTo

2864 ><![CDATA[interface]]></PortTo

2865 ><Via

2866 /><Info

2867 ><list-int/></Info></Edge

2868 ><Edge id="E3"

2869 ><From

2870 >1</From

2871 ><PortFrom

2872 ><![CDATA[fst_target]]></PortFrom

2873 ><To

2874 >3</To

2875 ><PortTo

2876 ><![CDATA[interface]]></PortTo

2877 ><Via

2878 /><Info

2879 ><list-int/></Info></Edge

2880 ><Edge id="E4"

2881 ><From

2882 >2</From

2883 ><PortFrom

2884 ><![CDATA[arg]]></PortFrom

2885 ><To

2886 >6</To

2887 ><PortTo

2888 ><![CDATA[interface]]></PortTo

2889 ><Via

2890 /><Info

2891 ><list-int/></Info></Edge

2892 ><Edge id="E5"

2893 ><From

2894 >2</From

2895 ><PortFrom

2896 ><![CDATA[res]]></PortFrom

2897 ><To

2898 >5</To

2899 ><PortTo

2900 ><![CDATA[interface]]></PortTo

2901 ><Via

2902 ><Position X="2.6458333333333335" Y="2.513541666666667"/></Via

2903 ><Info

2904 ><list-int/></Info></Edge></Edges></Network></LHS

2905 ><RHS

2906 ><Network Width="15.0" Height="9.0"

2907 ><Info

2908 ><unit/></Info

2909 ><Nodes

2910 ><Node id="N3"

2911 ><Position X="1.5583333333333336" Y="0.5264583333333334"

2912 /><Name

2913 ><![CDATA[Node 3]]></Name

2914 ><LabelAbove

2915 >True</LabelAbove

2916 ><Shape

2917 ><![CDATA[interface]]></Shape

2918 ><Info

2919 ><list-int/></Info></Node

2920 ><Node id="N4"

2921 ><Position X="4.913125" Y="0.3677083333333333"

2922 /><Name

2923 ><![CDATA[Node 4]]></Name

2924 ><LabelAbove

2925 >True</LabelAbove

2926 ><Shape

2927 ><![CDATA[interface]]></Shape

2928 ><Info

2929 ><list-int/></Info></Node

2930 ><Node id="N5"

2931 ><Position X="3.0291666666666663" Y="5.050833333333333"

2932 /><Name

2933 ><![CDATA[Node 5]]></Name

2934 ><LabelAbove

2935 >True</LabelAbove

2936 ><Shape

2937 ><![CDATA[interface]]></Shape

2938 ><Info

2939 ><list-int/></Info></Node

2940 ><Node id="N6"

2941 ><Position X="6.05625" Y="4.997291666666667"

2942 /><Name

2943 ><![CDATA[Node 6]]></Name

2944 ><LabelAbove

2945 >True</LabelAbove

2946 ><Shape

2947 ><![CDATA[interface]]></Shape

2948 ><Info

2949 ><list-int/></Info></Node

2950 ><Node id="N7"

2951 ><Position X="6.058958333333335" Y="3.810000000000001"

2952 /><Name

2953 ><![CDATA[Node 7]]></Name

2954 ><LabelAbove

2955 >True</LabelAbove

2956 ><Shape

2957 ><![CDATA[copy]]></Shape

2958 ><Info

2959 ><list-int/></Info></Node

2960 ><Node id="N8"

2961 ><Position X="3.0427083333333336" Y="3.8364583333333333"

2962 /><Name

2963 ><![CDATA[Node 8]]></Name

2964 ><LabelAbove

2965 >True</LabelAbove

2966 ><Shape

2967 ><![CDATA[copy]]></Shape

2968 ><Info

2969 ><list-int/></Info></Node

2970 ><Node id="N9"

2971 ><Position X="2.7781250000000006" Y="1.6933333333333338"

2972 /><Name

2973 ><![CDATA[Node 9]]></Name

2974 ><LabelAbove

2975 >True</LabelAbove

2976 ><Shape

2977 ><![CDATA[application]]></Shape

2978 ><Info

2979 ><list-int/></Info></Node

2980 ><Node id="N10"

2981 ><Position X="6.058958333333334" Y="1.7197916666666666"

2982 /><Name

2983 ><![CDATA[Node 10]]></Name

2984 ><LabelAbove

2985 >True</LabelAbove

2986 ><Shape

2987 ><![CDATA[application]]></Shape

2988 ><Info

2989 ><list-int/></Info></Node></Nodes

2990 ><Edges

2991 ><Edge id="E1"

2992 ><From

2993 >9</From

2994 ><PortFrom

2995 ><![CDATA[func]]></PortFrom

2996 ><To

2997 >3</To

2998 ><PortTo

2999 ><![CDATA[interface]]></PortTo

3000 ><Via

3001 ><Position X="1.5345833333333332" Y="1.9843750000000004"/></Via

3002 ><Info

3003 ><list-int/></Info></Edge

3004 ><Edge id="E2"

3005 ><From

3006 >10</From

3007 ><PortFrom

3008 ><![CDATA[func]]></PortFrom

3009 ><To

3010 >4</To

3011 ><PortTo

3012 ><![CDATA[interface]]></PortTo

3013 ><Via

3014 ><Position X="4.894791666666666" Y="2.0108333333333333"/></Via

3015 ><Info

3016 ><list-int/></Info></Edge

3017 ><Edge id="E3"

3018 ><From

3019 >7</From

3020 ><PortFrom

3021 ><![CDATA[src]]></PortFrom

3022 ><To

3023 >6</To

3024 ><PortTo

3025 ><![CDATA[interface]]></PortTo

3026 ><Via

3027 /><Info

3028 ><list-int/></Info></Edge

3029 ><Edge id="E4"

3030 ><From

3031 >8</From

3032 ><PortFrom

3033 ><![CDATA[src]]></PortFrom

3034 ><To

3035 >5</To

3036 ><PortTo

3037 ><![CDATA[interface]]></PortTo

3038 ><Via

3039 /><Info

3040 ><list-int/></Info></Edge

3041 ><Edge id="E5"

3042 ><From

3043 >10</From

3044 ><PortFrom

3045 ><![CDATA[res]]></PortFrom

3046 ><To

3047 >8</To

3048 ><PortTo

3049 ><![CDATA[snd_target]]></PortTo

3050 ><Via

3051 ><Position X="4.339166666666666" Y="1.3758333333333332"/></Via

3052 ><Info

3053 ><list-int/></Info></Edge

3054 ><Edge id="E6"

3055 ><From

3056 >9</From

3057 ><PortFrom

3058 ><![CDATA[res]]></PortFrom

3059 ><To

3060 >8</To

3061 ><PortTo

3062 ><![CDATA[fst_target]]></PortTo

3063 ><Via

3064 ><Position X="1.9314583333333337" Y="1.349375"

3065 /><Position X="1.9314583333333337" Y="3.5189583333333334"/></Via

3066 ><Info

3067 ><list-int/></Info></Edge

3068 ><Edge id="E7"

3069 ><From

3070 >9</From

3071 ><PortFrom

3072 ><![CDATA[arg]]></PortFrom

3073 ><To

3074 >7</To

3075 ><PortTo

3076 ><![CDATA[fst_target]]></PortTo

3077 ><Via

3078 /><Info

3079 ><list-int/></Info></Edge

3080 ><Edge id="E8"

3081 ><From

3082 >10</From

3083 ><PortFrom

3084 ><![CDATA[arg]]></PortFrom

3085 ><To

3086 >7</To

3087 ><PortTo

3088 ><![CDATA[snd_target]]></PortTo

3089 ><Via

3090 /><Info

3091 ><list-int/></Info></Edge></Edges></Network></RHS

3092 ><Mapping

3093 ><MappingElement lhs="3" rhs="3"

3094 /><MappingElement lhs="4" rhs="4"

3095 /><MappingElement lhs="5" rhs="5"

3096 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

3097 ><INRule

3098 ><Name

3099 ><![CDATA[Copy_Evaluator]]></Name

3100 ><LHS

3101 ><Network Width="15.0" Height="9.0"

3102 ><Info

3103 ><unit/></Info

3104 ><Nodes

3105 ><Node id="N1"

3106 ><Position X="2.0" Y="2.0"

3107 /><Name

3108 ><![CDATA[Node 1]]></Name

3109 ><LabelAbove

3110 >True</LabelAbove

3111 ><Shape

3112 ><![CDATA[copy]]></Shape

3113 ><Info

3114 ><list-int/></Info></Node

3115 ><Node id="N2"

3116 ><Position X="4.026458333333333" Y="1.7883333333333333"

3117 /><Name

3118 ><![CDATA[Node 2]]></Name

3119 ><LabelAbove

3120 >True</LabelAbove

3121 ><Shape

3122 ><![CDATA[evaluation]]></Shape

3123 ><Info

3124 ><list-int/></Info></Node

3125 ><Node id="N3"

3126 ><Position X="1.4789583333333334" Y="0.6058333333333333"

3127 /><Name

3128 ><![CDATA[Node 3]]></Name

3129 ><LabelAbove

3130 >True</LabelAbove

3131 ><Shape

3132 ><![CDATA[interface]]></Shape

3133 ><Info

3134 ><list-int/></Info></Node

3135 ><Node id="N4"

3136 ><Position X="2.5583333333333336" Y="0.6322916666666667"

3137 /><Name

3138 ><![CDATA[Node 4]]></Name

3139 ><LabelAbove

3140 >True</LabelAbove

3141 ><Shape

3142 ><![CDATA[interface]]></Shape

3143 ><Info

3144 ><list-int/></Info></Node

3145 ><Node id="N5"

3146 ><Position X="6.045416666666667" Y="1.0291666666666668"

3147 /><Name

3148 ><![CDATA[Node 5]]></Name

3149 ><LabelAbove

3150 >True</LabelAbove

3151 ><Shape

3152 ><![CDATA[interface]]></Shape

3153 ><Info

3154 ><list-int/></Info></Node></Nodes

3155 ><Edges

3156 ><Edge id="E1"

3157 ><From

3158 >1</From

3159 ><PortFrom

3160 ><![CDATA[src]]></PortFrom

3161 ><To

3162 >2</To

3163 ><PortTo

3164 ><![CDATA[arg]]></PortTo

3165 ><Via

3166 /><Info

3167 ><list-int/></Info></Edge

3168 ><Edge id="E2"

3169 ><From

3170 >1</From

3171 ><PortFrom

3172 ><![CDATA[snd_target]]></PortFrom

3173 ><To

3174 >4</To

3175 ><PortTo

3176 ><![CDATA[interface]]></PortTo

3177 ><Via

3178 /><Info

3179 ><list-int/></Info></Edge

3180 ><Edge id="E3"

3181 ><From

3182 >1</From

3183 ><PortFrom

3184 ><![CDATA[fst_target]]></PortFrom

3185 ><To

3186 >3</To

3187 ><PortTo

3188 ><![CDATA[interface]]></PortTo

3189 ><Via

3190 /><Info

3191 ><list-int/></Info></Edge

3192 ><Edge id="E4"

3193 ><From

3194 >2</From

3195 ><PortFrom

3196 ><![CDATA[res]]></PortFrom

3197 ><To

3198 >5</To

3199 ><PortTo

3200 ><![CDATA[interface]]></PortTo

3201 ><Via

3202 /><Info

3203 ><list-int/></Info></Edge></Edges></Network></LHS

3204 ><RHS

3205 ><Network Width="15.0" Height="9.0"

3206 ><Info

3207 ><unit/></Info

3208 ><Nodes

3209 ><Node id="N3"

3210 ><Position X="1.9816666666666665" Y="0.6322916666666668"

3211 /><Name

3212 ><![CDATA[Node 3]]></Name

3213 ><LabelAbove

3214 >True</LabelAbove

3215 ><Shape

3216 ><![CDATA[interface]]></Shape

3217 ><Info

3218 ><list-int/></Info></Node

3219 ><Node id="N4"

3220 ><Position X="5.945" Y="0.6852083333333334"

3221 /><Name

3222 ><![CDATA[Node 4]]></Name

3223 ><LabelAbove

3224 >True</LabelAbove

3225 ><Shape

3226 ><![CDATA[interface]]></Shape

3227 ><Info

3228 ><list-int/></Info></Node

3229 ><Node id="N5"

3230 ><Position X="3.822916666666667" Y="5.262500000000001"

3231 /><Name

3232 ><![CDATA[Node 5]]></Name

3233 ><LabelAbove

3234 >True</LabelAbove

3235 ><Shape

3236 ><![CDATA[interface]]></Shape

3237 ><Info

3238 ><list-int/></Info></Node

3239 ><Node id="N6"

3240 ><Position X="3.8364583333333337" Y="3.571875"

3241 /><Name

3242 ><![CDATA[Node 6]]></Name

3243 ><LabelAbove

3244 >True</LabelAbove

3245 ><Shape

3246 ><![CDATA[copy]]></Shape

3247 ><Info

3248 ><list-int/></Info></Node

3249 ><Node id="N7"

3250 ><Position X="2.831041666666667" Y="2.407708333333333"

3251 /><Name

3252 ><![CDATA[Node 7]]></Name

3253 ><LabelAbove

3254 >True</LabelAbove

3255 ><Shape

3256 ><![CDATA[evaluation]]></Shape

3257 ><Info

3258 ><list-int/></Info></Node

3259 ><Node id="N8"

3260 ><Position X="5.000625" Y="2.407708333333333"

3261 /><Name

3262 ><![CDATA[Node 8]]></Name

3263 ><LabelAbove

3264 >True</LabelAbove

3265 ><Shape

3266 ><![CDATA[evaluation]]></Shape

3267 ><Info

3268 ><list-int/></Info></Node></Nodes

3269 ><Edges

3270 ><Edge id="E1"

3271 ><From

3272 >7</From

3273 ><PortFrom

3274 ><![CDATA[arg]]></PortFrom

3275 ><To

3276 >3</To

3277 ><PortTo

3278 ><![CDATA[interface]]></PortTo

3279 ><Via

3280 ><Position X="1.9579166666666667" Y="2.8839583333333336"/></Via

3281 ><Info

3282 ><list-int/></Info></Edge

3283 ><Edge id="E2"

3284 ><From

3285 >8</From

3286 ><PortFrom

3287 ><![CDATA[arg]]></PortFrom

3288 ><To

3289 >4</To

3290 ><PortTo

3291 ><![CDATA[interface]]></PortTo

3292 ><Via

3293 ><Position X="5.926666666666668" Y="2.8839583333333336"/></Via

3294 ><Info

3295 ><list-int/></Info></Edge

3296 ><Edge id="E3"

3297 ><From

3298 >6</From

3299 ><PortFrom

3300 ><![CDATA[src]]></PortFrom

3301 ><To

3302 >5</To

3303 ><PortTo

3304 ><![CDATA[interface]]></PortTo

3305 ><Via

3306 /><Info

3307 ><list-int/></Info></Edge

3308 ><Edge id="E4"

3309 ><From

3310 >6</From

3311 ><PortFrom

3312 ><![CDATA[fst_target]]></PortFrom

3313 ><To

3314 >7</To

3315 ><PortTo

3316 ><![CDATA[res]]></PortTo

3317 ><Via

3318 ><Position X="3.5189583333333334" Y="1.905"/></Via

3319 ><Info

3320 ><list-int/></Info></Edge

3321 ><Edge id="E5"

3322 ><From

3323 >6</From

3324 ><PortFrom

3325 ><![CDATA[snd_target]]></PortFrom

3326 ><To

3327 >8</To

3328 ><PortTo

3329 ><![CDATA[res]]></PortTo

3330 ><Via

3331 ><Position X="4.1275" Y="1.9050000000000002"/></Via

3332 ><Info

3333 ><list-int/></Info></Edge></Edges></Network></RHS

3334 ><Mapping

3335 ><MappingElement lhs="3" rhs="3"

3336 /><MappingElement lhs="4" rhs="4"

3337 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

3338 ><INRule

3339 ><Name

3340 ><![CDATA[Copy_EvaluatorReturning]]></Name

3341 ><LHS

3342 ><Network Width="15.0" Height="9.0"

3343 ><Info

3344 ><unit/></Info

3345 ><Nodes

3346 ><Node id="N1"

3347 ><Position X="2.0" Y="2.0"

3348 /><Name

3349 ><![CDATA[Node 1]]></Name

3350 ><LabelAbove

3351 >True</LabelAbove

3352 ><Shape

3353 ><![CDATA[copy]]></Shape

3354 ><Info

3355 ><list-int/></Info></Node

3356 ><Node id="N2"

3357 ><Position X="2.0" Y="4.0"

3358 /><Name

3359 ><![CDATA[Node 2]]></Name

3360 ><LabelAbove

3361 >True</LabelAbove

3362 ><Shape

3363 ><![CDATA[evalReturn]]></Shape

3364 ><Info

3365 ><list-int/></Info></Node

3366 ><Node id="N3"

3367 ><Position X="1.5054166666666666" Y="0.579375"

3368 /><Name

3369 ><![CDATA[Node 3]]></Name

3370 ><LabelAbove

3371 >True</LabelAbove

3372 ><Shape

3373 ><![CDATA[interface]]></Shape

3374 ><Info

3375 ><list-int/></Info></Node

3376 ><Node id="N4"

3377 ><Position X="2.5583333333333336" Y="0.579375"

3378 /><Name

3379 ><![CDATA[Node 4]]></Name

3380 ><LabelAbove

3381 >True</LabelAbove

3382 ><Shape

3383 ><![CDATA[interface]]></Shape

3384 ><Info

3385 ><list-int/></Info></Node

3386 ><Node id="N5"

3387 ><Position X="2.008125" Y="5.605833333333333"

3388 /><Name

3389 ><![CDATA[Node 5]]></Name

3390 ><LabelAbove

3391 >True</LabelAbove

3392 ><Shape

3393 ><![CDATA[interface]]></Shape

3394 ><Info

3395 ><list-int/></Info></Node></Nodes

3396 ><Edges

3397 ><Edge id="E1"

3398 ><From

3399 >1</From

3400 ><PortFrom

3401 ><![CDATA[src]]></PortFrom

3402 ><To

3403 >2</To

3404 ><PortTo

3405 ><![CDATA[res]]></PortTo

3406 ><Via

3407 /><Info

3408 ><list-int/></Info></Edge

3409 ><Edge id="E2"

3410 ><From

3411 >1</From

3412 ><PortFrom

3413 ><![CDATA[snd_target]]></PortFrom

3414 ><To

3415 >4</To

3416 ><PortTo

3417 ><![CDATA[interface]]></PortTo

3418 ><Via

3419 /><Info

3420 ><list-int/></Info></Edge

3421 ><Edge id="E3"

3422 ><From

3423 >1</From

3424 ><PortFrom

3425 ><![CDATA[fst_target]]></PortFrom

3426 ><To

3427 >3</To

3428 ><PortTo

3429 ><![CDATA[interface]]></PortTo

3430 ><Via

3431 /><Info

3432 ><list-int/></Info></Edge

3433 ><Edge id="E4"

3434 ><From

3435 >2</From

3436 ><PortFrom

3437 ><![CDATA[arg]]></PortFrom

3438 ><To

3439 >5</To

3440 ><PortTo

3441 ><![CDATA[interface]]></PortTo

3442 ><Via

3443 /><Info

3444 ><list-int/></Info></Edge></Edges></Network></LHS

3445 ><RHS

3446 ><Network Width="15.0" Height="9.0"

3447 ><Info

3448 ><unit/></Info

3449 ><Nodes

3450 ><Node id="N3"

3451 ><Position X="1.5054166666666666" Y="0.6058333333333333"

3452 /><Name

3453 ><![CDATA[Node 3]]></Name

3454 ><LabelAbove

3455 >True</LabelAbove

3456 ><Shape

3457 ><![CDATA[interface]]></Shape

3458 ><Info

3459 ><list-int/></Info></Node

3460 ><Node id="N4"

3461 ><Position X="2.5583333333333336" Y="0.579375"

3462 /><Name

3463 ><![CDATA[Node 4]]></Name

3464 ><LabelAbove

3465 >True</LabelAbove

3466 ><Shape

3467 ><![CDATA[interface]]></Shape

3468 ><Info

3469 ><list-int/></Info></Node

3470 ><Node id="N5"

3471 ><Position X="2.008125" Y="5.605833333333333"

3472 /><Name

3473 ><![CDATA[Node 5]]></Name

3474 ><LabelAbove

3475 >True</LabelAbove

3476 ><Shape

3477 ><![CDATA[interface]]></Shape

3478 ><Info

3479 ><list-int/></Info></Node

3480 ><Node id="N6"

3481 ><Position X="2.0108333333333333" Y="4.101041666666667"

3482 /><Name

3483 ><![CDATA[Node 6]]></Name

3484 ><LabelAbove

3485 >True</LabelAbove

3486 ><Shape

3487 ><![CDATA[copy]]></Shape

3488 ><Info

3489 ><list-int/></Info></Node

3490 ><Node id="N7"

3491 ><Position X="1.349375" Y="2.301875"

3492 /><Name

3493 ><![CDATA[Node 7]]></Name

3494 ><LabelAbove

3495 >True</LabelAbove

3496 ><Shape

3497 ><![CDATA[evalReturn]]></Shape

3498 ><Info

3499 ><list-int/></Info></Node

3500 ><Node id="N8"

3501 ><Position X="2.751666666666667" Y="2.3018750000000003"

3502 /><Name

3503 ><![CDATA[Node 8]]></Name

3504 ><LabelAbove

3505 >True</LabelAbove

3506 ><Shape

3507 ><![CDATA[evalReturn]]></Shape

3508 ><Info

3509 ><list-int/></Info></Node></Nodes

3510 ><Edges

3511 ><Edge id="E1"

3512 ><From

3513 >6</From

3514 ><PortFrom

3515 ><![CDATA[src]]></PortFrom

3516 ><To

3517 >5</To

3518 ><PortTo

3519 ><![CDATA[interface]]></PortTo

3520 ><Via

3521 /><Info

3522 ><list-int/></Info></Edge

3523 ><Edge id="E2"

3524 ><From

3525 >3</From

3526 ><PortFrom

3527 ><![CDATA[interface]]></PortFrom

3528 ><To

3529 >7</To

3530 ><PortTo

3531 ><![CDATA[res]]></PortTo

3532 ><Via

3533 /><Info

3534 ><list-int/></Info></Edge

3535 ><Edge id="E3"

3536 ><From

3537 >4</From

3538 ><PortFrom

3539 ><![CDATA[interface]]></PortFrom

3540 ><To

3541 >8</To

3542 ><PortTo

3543 ><![CDATA[res]]></PortTo

3544 ><Via

3545 /><Info

3546 ><list-int/></Info></Edge

3547 ><Edge id="E4"

3548 ><From

3549 >7</From

3550 ><PortFrom

3551 ><![CDATA[arg]]></PortFrom

3552 ><To

3553 >6</To

3554 ><PortTo

3555 ><![CDATA[fst_target]]></PortTo

3556 ><Via

3557 /><Info

3558 ><list-int/></Info></Edge

3559 ><Edge id="E5"

3560 ><From

3561 >8</From

3562 ><PortFrom

3563 ><![CDATA[arg]]></PortFrom

3564 ><To

3565 >6</To

3566 ><PortTo

3567 ><![CDATA[snd_target]]></PortTo

3568 ><Via

3569 /><Info

3570 ><list-int/></Info></Edge></Edges></Network></RHS

3571 ><Mapping

3572 ><MappingElement lhs="3" rhs="3"

3573 /><MappingElement lhs="4" rhs="4"

3574 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

3575 ><INRule

3576 ><Name

3577 ><![CDATA[Copy_preApplication]]></Name

3578 ><LHS

3579 ><Network Width="15.0" Height="9.0"

3580 ><Info

3581 ><unit/></Info

3582 ><Nodes

3583 ><Node id="N1"

3584 ><Position X="2.0" Y="2.0"

3585 /><Name

3586 ><![CDATA[Node 1]]></Name

3587 ><LabelAbove

3588 >True</LabelAbove

3589 ><Shape

3590 ><![CDATA[copy]]></Shape

3591 ><Info

3592 ><list-int/></Info></Node

3593 ><Node id="N2"

3594 ><Position X="2.0" Y="4.0"

3595 /><Name

3596 ><![CDATA[Node 2]]></Name

3597 ><LabelAbove

3598 >True</LabelAbove

3599 ><Shape

3600 ><![CDATA[beforeApplication]]></Shape

3601 ><Info

3602 ><list-int/></Info></Node

3603 ><Node id="N3"

3604 ><Position X="1.1614583333333335" Y="0.5264583333333334"

3605 /><Name

3606 ><![CDATA[Node 3]]></Name

3607 ><LabelAbove

3608 >True</LabelAbove

3609 ><Shape

3610 ><![CDATA[interface]]></Shape

3611 ><Info

3612 ><list-int/></Info></Node

3613 ><Node id="N4"

3614 ><Position X="2.9022916666666667" Y="0.579375"

3615 /><Name

3616 ><![CDATA[Node 4]]></Name

3617 ><LabelAbove

3618 >True</LabelAbove

3619 ><Shape

3620 ><![CDATA[interface]]></Shape

3621 ><Info

3622 ><list-int/></Info></Node

3623 ><Node id="N5"

3624 ><Position X="2.616666666666667" Y="5.420625"

3625 /><Name

3626 ><![CDATA[Node 5]]></Name

3627 ><LabelAbove

3628 >True</LabelAbove

3629 ><Shape

3630 ><![CDATA[interface]]></Shape

3631 ><Info

3632 ><list-int/></Info></Node

3633 ><Node id="N6"

3634 ><Position X="1.5" Y="5.5"

3635 /><Name

3636 ><![CDATA[Node 6]]></Name

3637 ><LabelAbove

3638 >True</LabelAbove

3639 ><Shape

3640 ><![CDATA[interface]]></Shape

3641 ><Info

3642 ><list-int/></Info></Node></Nodes

3643 ><Edges

3644 ><Edge id="E1"

3645 ><From

3646 >1</From

3647 ><PortFrom

3648 ><![CDATA[src]]></PortFrom

3649 ><To

3650 >2</To

3651 ><PortTo

3652 ><![CDATA[res]]></PortTo

3653 ><Via

3654 /><Info

3655 ><list-int/></Info></Edge

3656 ><Edge id="E2"

3657 ><From

3658 >1</From

3659 ><PortFrom

3660 ><![CDATA[snd_target]]></PortFrom

3661 ><To

3662 >4</To

3663 ><PortTo

3664 ><![CDATA[interface]]></PortTo

3665 ><Via

3666 /><Info

3667 ><list-int/></Info></Edge

3668 ><Edge id="E3"

3669 ><From

3670 >1</From

3671 ><PortFrom

3672 ><![CDATA[fst_target]]></PortFrom

3673 ><To

3674 >3</To

3675 ><PortTo

3676 ><![CDATA[interface]]></PortTo

3677 ><Via

3678 /><Info

3679 ><list-int/></Info></Edge

3680 ><Edge id="E4"

3681 ><From

3682 >2</From

3683 ><PortFrom

3684 ><![CDATA[func]]></PortFrom

3685 ><To

3686 >6</To

3687 ><PortTo

3688 ><![CDATA[interface]]></PortTo

3689 ><Via

3690 /><Info

3691 ><list-int/></Info></Edge

3692 ><Edge id="E5"

3693 ><From

3694 >2</From

3695 ><PortFrom

3696 ><![CDATA[arg]]></PortFrom

3697 ><To

3698 >5</To

3699 ><PortTo

3700 ><![CDATA[interface]]></PortTo

3701 ><Via

3702 /><Info

3703 ><list-int/></Info></Edge></Edges></Network></LHS

3704 ><RHS

3705 ><Network Width="15.0" Height="9.0"

3706 ><Info

3707 ><unit/></Info

3708 ><Nodes

3709 ><Node id="N3"

3710 ><Position X="0.8704166666666667" Y="0.5264583333333334"

3711 /><Name

3712 ><![CDATA[Node 3]]></Name

3713 ><LabelAbove

3714 >True</LabelAbove

3715 ><Shape

3716 ><![CDATA[interface]]></Shape

3717 ><Info

3718 ><list-int/></Info></Node

3719 ><Node id="N4"

3720 ><Position X="2.214374999999999" Y="0.5529166666666667"

3721 /><Name

3722 ><![CDATA[Node 4]]></Name

3723 ><LabelAbove

3724 >True</LabelAbove

3725 ><Shape

3726 ><![CDATA[interface]]></Shape

3727 ><Info

3728 ><list-int/></Info></Node

3729 ><Node id="N5"

3730 ><Position X="0.8439583333333335" Y="5.526458333333333"

3731 /><Name

3732 ><![CDATA[Node 5]]></Name

3733 ><LabelAbove

3734 >True</LabelAbove

3735 ><Shape

3736 ><![CDATA[interface]]></Shape

3737 ><Info

3738 ><list-int/></Info></Node

3739 ><Node id="N6"

3740 ><Position X="2.187916666666666" Y="5.5529166666666665"

3741 /><Name

3742 ><![CDATA[Node 6]]></Name

3743 ><LabelAbove

3744 >True</LabelAbove

3745 ><Shape

3746 ><![CDATA[interface]]></Shape

3747 ><Info

3748 ><list-int/></Info></Node

3749 ><Node id="N7"

3750 ><Position X="0.8466666666666668" Y="1.9314583333333335"

3751 /><Name

3752 ><![CDATA[Node 7]]></Name

3753 ><LabelAbove

3754 >True</LabelAbove

3755 ><Shape

3756 ><![CDATA[beforeApplication]]></Shape

3757 ><Info

3758 ><list-int/></Info></Node

3759 ><Node id="N8"

3760 ><Position X="2.1960416666666664" Y="1.9314583333333335"

3761 /><Name

3762 ><![CDATA[Node 8]]></Name

3763 ><LabelAbove

3764 >True</LabelAbove

3765 ><Shape

3766 ><![CDATA[beforeApplication]]></Shape

3767 ><Info

3768 ><list-int/></Info></Node

3769 ><Node id="N9"

3770 ><Position X="0.846666666666667" Y="4.312708333333333"

3771 /><Name

3772 ><![CDATA[Node 9]]></Name

3773 ><LabelAbove

3774 >True</LabelAbove

3775 ><Shape

3776 ><![CDATA[copy]]></Shape

3777 ><Info

3778 ><list-int/></Info></Node

3779 ><Node id="N10"

3780 ><Position X="2.1960416666666664" Y="4.339166666666667"

3781 /><Name

3782 ><![CDATA[Node 10]]></Name

3783 ><LabelAbove

3784 >True</LabelAbove

3785 ><Shape

3786 ><![CDATA[copy]]></Shape

3787 ><Info

3788 ><list-int/></Info></Node></Nodes

3789 ><Edges

3790 ><Edge id="E1"

3791 ><From

3792 >9</From

3793 ><PortFrom

3794 ><![CDATA[src]]></PortFrom

3795 ><To

3796 >5</To

3797 ><PortTo

3798 ><![CDATA[interface]]></PortTo

3799 ><Via

3800 /><Info

3801 ><list-int/></Info></Edge

3802 ><Edge id="E2"

3803 ><From

3804 >10</From

3805 ><PortFrom

3806 ><![CDATA[src]]></PortFrom

3807 ><To

3808 >6</To

3809 ><PortTo

3810 ><![CDATA[interface]]></PortTo

3811 ><Via

3812 /><Info

3813 ><list-int/></Info></Edge

3814 ><Edge id="E3"

3815 ><From

3816 >3</From

3817 ><PortFrom

3818 ><![CDATA[interface]]></PortFrom

3819 ><To

3820 >7</To

3821 ><PortTo

3822 ><![CDATA[res]]></PortTo

3823 ><Via

3824 /><Info

3825 ><list-int/></Info></Edge

3826 ><Edge id="E4"

3827 ><From

3828 >4</From

3829 ><PortFrom

3830 ><![CDATA[interface]]></PortFrom

3831 ><To

3832 >8</To

3833 ><PortTo

3834 ><![CDATA[res]]></PortTo

3835 ><Via

3836 /><Info

3837 ><list-int/></Info></Edge

3838 ><Edge id="E5"

3839 ><From

3840 >7</From

3841 ><PortFrom

3842 ><![CDATA[func]]></PortFrom

3843 ><To

3844 >9</To

3845 ><PortTo

3846 ><![CDATA[fst_target]]></PortTo

3847 ><Via

3848 /><Info

3849 ><list-int/></Info></Edge

3850 ><Edge id="E6"

3851 ><From

3852 >8</From

3853 ><PortFrom

3854 ><![CDATA[arg]]></PortFrom

3855 ><To

3856 >10</To

3857 ><PortTo

3858 ><![CDATA[snd_target]]></PortTo

3859 ><Via

3860 /><Info

3861 ><list-int/></Info></Edge

3862 ><Edge id="E7"

3863 ><From

3864 >7</From

3865 ><PortFrom

3866 ><![CDATA[arg]]></PortFrom

3867 ><To

3868 >10</To

3869 ><PortTo

3870 ><![CDATA[fst_target]]></PortTo

3871 ><Via

3872 /><Info

3873 ><list-int/></Info></Edge

3874 ><Edge id="E8"

3875 ><From

3876 >8</From

3877 ><PortFrom

3878 ><![CDATA[func]]></PortFrom

3879 ><To

3880 >9</To

3881 ><PortTo

3882 ><![CDATA[snd_target]]></PortTo

3883 ><Via

3884 /><Info

3885 ><list-int/></Info></Edge></Edges></Network></RHS

3886 ><Mapping

3887 ><MappingElement lhs="3" rhs="3"

3888 /><MappingElement lhs="4" rhs="4"

3889 /><MappingElement lhs="5" rhs="6"

3890 /><MappingElement lhs="6" rhs="5"/></Mapping></INRule

3891 ><INRule

3892 ><Name

3893 ><![CDATA[Copy_Duplicator]]></Name

3894 ><LHS

3895 ><Network Width="15.0" Height="9.0"

3896 ><Info

3897 ><unit/></Info

3898 ><Nodes

3899 ><Node id="N1"

3900 ><Position X="2.0" Y="2.0"

3901 /><Name

3902 ><![CDATA[Node 1]]></Name

3903 ><LabelAbove

3904 >True</LabelAbove

3905 ><Shape

3906 ><![CDATA[copy]]></Shape

3907 ><Info

3908 ><list-int/></Info></Node

3909 ><Node id="N2"

3910 ><Position X="3.9735416666666667" Y="1.7883333333333333"

3911 /><Name

3912 ><![CDATA[Node 2]]></Name

3913 ><LabelAbove

3914 >True</LabelAbove

3915 ><Shape

3916 ><![CDATA[duplicator]]></Shape

3917 ><Info

3918 ><list-int/></Info></Node

3919 ><Node id="N3"

3920 ><Position X="1.4789583333333334" Y="0.5"

3921 /><Name

3922 ><![CDATA[Node 3]]></Name

3923 ><LabelAbove

3924 >True</LabelAbove

3925 ><Shape

3926 ><![CDATA[interface]]></Shape

3927 ><Info

3928 ><list-int/></Info></Node

3929 ><Node id="N4"

3930 ><Position X="2.267291666666667" Y="0.5"

3931 /><Name

3932 ><![CDATA[Node 4]]></Name

3933 ><LabelAbove

3934 >True</LabelAbove

3935 ><Shape

3936 ><![CDATA[interface]]></Shape

3937 ><Info

3938 ><list-int/></Info></Node

3939 ><Node id="N5"

3940 ><Position X="3.5318750000000003" Y="0.4735416666666667"

3941 /><Name

3942 ><![CDATA[Node 5]]></Name

3943 ><LabelAbove

3944 >True</LabelAbove

3945 ><Shape

3946 ><![CDATA[interface]]></Shape

3947 ><Info

3948 ><list-int/></Info></Node

3949 ><Node id="N6"

3950 ><Position X="4.690625" Y="0.5"

3951 /><Name

3952 ><![CDATA[Node 6]]></Name

3953 ><LabelAbove

3954 >True</LabelAbove

3955 ><Shape

3956 ><![CDATA[interface]]></Shape

3957 ><Info

3958 ><list-int/></Info></Node></Nodes

3959 ><Edges

3960 ><Edge id="E1"

3961 ><From

3962 >1</From

3963 ><PortFrom

3964 ><![CDATA[src]]></PortFrom

3965 ><To

3966 >2</To

3967 ><PortTo

3968 ><![CDATA[down]]></PortTo

3969 ><Via

3970 /><Info

3971 ><list-int/></Info></Edge

3972 ><Edge id="E2"

3973 ><From

3974 >1</From

3975 ><PortFrom

3976 ><![CDATA[snd_target]]></PortFrom

3977 ><To

3978 >4</To

3979 ><PortTo

3980 ><![CDATA[interface]]></PortTo

3981 ><Via

3982 /><Info

3983 ><list-int/></Info></Edge

3984 ><Edge id="E3"

3985 ><From

3986 >1</From

3987 ><PortFrom

3988 ><![CDATA[fst_target]]></PortFrom

3989 ><To

3990 >3</To

3991 ><PortTo

3992 ><![CDATA[interface]]></PortTo

3993 ><Via

3994 /><Info

3995 ><list-int/></Info></Edge

3996 ><Edge id="E4"

3997 ><From

3998 >2</From

3999 ><PortFrom

4000 ><![CDATA[copy2]]></PortFrom

4001 ><To

4002 >6</To

4003 ><PortTo

4004 ><![CDATA[interface]]></PortTo

4005 ><Via

4006 /><Info

4007 ><list-int/></Info></Edge

4008 ><Edge id="E5"

4009 ><From

4010 >2</From

4011 ><PortFrom

4012 ><![CDATA[copy1]]></PortFrom

4013 ><To

4014 >5</To

4015 ><PortTo

4016 ><![CDATA[interface]]></PortTo

4017 ><Via

4018 /><Info

4019 ><list-int/></Info></Edge></Edges></Network></LHS

4020 ><RHS

4021 ><Network Width="15.0" Height="9.0"

4022 ><Info

4023 ><unit/></Info

4024 ><Nodes

4025 ><Node id="N3"

4026 ><Position X="1.4789583333333334" Y="0.5"

4027 /><Name

4028 ><![CDATA[Node 3]]></Name

4029 ><LabelAbove

4030 >True</LabelAbove

4031 ><Shape

4032 ><![CDATA[interface]]></Shape

4033 ><Info

4034 ><list-int/></Info></Node

4035 ><Node id="N4"

4036 ><Position X="2.29375" Y="0.5"

4037 /><Name

4038 ><![CDATA[Node 4]]></Name

4039 ><LabelAbove

4040 >True</LabelAbove

4041 ><Shape

4042 ><![CDATA[interface]]></Shape

4043 ><Info

4044 ><list-int/></Info></Node

4045 ><Node id="N5"

4046 ><Position X="7.844583333333335" Y="5.500625"

4047 /><Name

4048 ><![CDATA[Node 5]]></Name

4049 ><LabelAbove

4050 >True</LabelAbove

4051 ><Shape

4052 ><![CDATA[interface]]></Shape

4053 ><Info

4054 ><list-int/></Info></Node

4055 ><Node id="N6"

4056 ><Position X="9.267916666666672" Y="5.606458333333333"

4057 /><Name

4058 ><![CDATA[Node 6]]></Name

4059 ><LabelAbove

4060 >True</LabelAbove

4061 ><Shape

4062 ><![CDATA[interface]]></Shape

4063 ><Info

4064 ><list-int/></Info></Node

4065 ><Node id="N7"

4066 ><Position X="7.884583333333335" Y="4.259791666666667"

4067 /><Name

4068 ><![CDATA[Node 7]]></Name

4069 ><LabelAbove

4070 >True</LabelAbove

4071 ><Shape

4072 ><![CDATA[copy]]></Shape

4073 ><Info

4074 ><list-int/></Info></Node

4075 ><Node id="N8"

4076 ><Position X="9.260416666666671" Y="4.312708333333333"

4077 /><Name

4078 ><![CDATA[Node 8]]></Name

4079 ><LabelAbove

4080 >True</LabelAbove

4081 ><Shape

4082 ><![CDATA[copy]]></Shape

4083 ><Info

4084 ><list-int/></Info></Node

4085 ><Node id="N9"

4086 ><Position X="2.460625000000001" Y="3.175000000000001"

4087 /><Name

4088 ><![CDATA[Node 9]]></Name

4089 ><LabelAbove

4090 >True</LabelAbove

4091 ><Shape

4092 ><![CDATA[duplicator]]></Shape

4093 ><Info

4094 ><list-int/></Info></Node

4095 ><Node id="N10"

4096 ><Position X="4.788958333333334" Y="1.2435416666666672"

4097 /><Name

4098 ><![CDATA[Node 10]]></Name

4099 ><LabelAbove

4100 >True</LabelAbove

4101 ><Shape

4102 ><![CDATA[duplicator]]></Shape

4103 ><Info

4104 ><list-int/></Info></Node></Nodes

4105 ><Edges

4106 ><Edge id="E1"

4107 ><From

4108 >7</From

4109 ><PortFrom

4110 ><![CDATA[src]]></PortFrom

4111 ><To

4112 >5</To

4113 ><PortTo

4114 ><![CDATA[interface]]></PortTo

4115 ><Via

4116 /><Info

4117 ><list-int/></Info></Edge

4118 ><Edge id="E2"

4119 ><From

4120 >6</From

4121 ><PortFrom

4122 ><![CDATA[interface]]></PortFrom

4123 ><To

4124 >8</To

4125 ><PortTo

4126 ><![CDATA[src]]></PortTo

4127 ><Via

4128 /><Info

4129 ><list-int/></Info></Edge

4130 ><Edge id="E3"

4131 ><From

4132 >9</From

4133 ><PortFrom

4134 ><![CDATA[down]]></PortFrom

4135 ><To

4136 >3</To

4137 ><PortTo

4138 ><![CDATA[interface]]></PortTo

4139 ><Via

4140 ><Position X="1.4552083333333334" Y="3.6512500000000006"/></Via

4141 ><Info

4142 ><list-int/></Info></Edge

4143 ><Edge id="E4"

4144 ><From

4145 >4</From

4146 ><PortFrom

4147 ><![CDATA[interface]]></PortFrom

4148 ><To

4149 >10</To

4150 ><PortTo

4151 ><![CDATA[down]]></PortTo

4152 ><Via

4153 ><Position X="2.2754166666666666" Y="1.7197916666666666"/></Via

4154 ><Info

4155 ><list-int/></Info></Edge

4156 ><Edge id="E5"

4157 ><From

4158 >9</From

4159 ><PortFrom

4160 ><![CDATA[copy2]]></PortFrom

4161 ><To

4162 >8</To

4163 ><PortTo

4164 ><![CDATA[snd_target]]></PortTo

4165 ><Via

4166 ><Position X="9.551458333333334" Y="2.857500000000001"/></Via

4167 ><Info

4168 ><list-int/></Info></Edge

4169 ><Edge id="E6"

4170 ><From

4171 >7</From

4172 ><PortFrom

4173 ><![CDATA[fst_target]]></PortFrom

4174 ><To

4175 >10</To

4176 ><PortTo

4177 ><![CDATA[copy1]]></PortTo

4178 ><Via

4179 ><Position X="7.567083333333334" Y="0.39687500000000003"

4180 /><Position X="4.4714583333333335" Y="0.3968750000000003"/></Via

4181 ><Info

4182 ><list-int/></Info></Edge

4183 ><Edge id="E7"

4184 ><From

4185 >10</From

4186 ><PortFrom

4187 ><![CDATA[copy2]]></PortFrom

4188 ><To

4189 >8</To

4190 ><PortTo

4191 ><![CDATA[fst_target]]></PortTo

4192 ><Via

4193 ><Position X="8.942916666666669" Y="0.9260416666666667"/></Via

4194 ><Info

4195 ><list-int/></Info></Edge

4196 ><Edge id="E8"

4197 ><From

4198 >9</From

4199 ><PortFrom

4200 ><![CDATA[copy1]]></PortFrom

4201 ><To

4202 >7</To

4203 ><PortTo

4204 ><![CDATA[snd_target]]></PortTo

4205 ><Via

4206 ><Position X="2.1431250000000004" Y="2.248958333333334"

4207 /><Position X="8.202083333333333" Y="2.248958333333334"/></Via

4208 ><Info

4209 ><list-int/></Info></Edge></Edges></Network></RHS

4210 ><Mapping

4211 ><MappingElement lhs="3" rhs="3"

4212 /><MappingElement lhs="4" rhs="4"

4213 /><MappingElement lhs="5" rhs="5"

4214 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

4215 ><INRule

4216 ><Name

4217 ><![CDATA[Duplicator_Lambda]]></Name

4218 ><LHS

4219 ><Network Width="15.0" Height="9.0"

4220 ><Info

4221 ><unit/></Info

4222 ><Nodes

4223 ><Node id="N1"

4224 ><Position X="2.0" Y="2.0"

4225 /><Name

4226 ><![CDATA[Node 1]]></Name

4227 ><LabelAbove

4228 >True</LabelAbove

4229 ><Shape

4230 ><![CDATA[duplicator]]></Shape

4231 ><Info

4232 ><list-int/></Info></Node

4233 ><Node id="N2"

4234 ><Position X="2.0" Y="4.0"

4235 /><Name

4236 ><![CDATA[Node 2]]></Name

4237 ><LabelAbove

4238 >True</LabelAbove

4239 ><Shape

4240 ><![CDATA[lambda]]></Shape

4241 ><Info

4242 ><list-int/></Info></Node

4243 ><Node id="N3"

4244 ><Position X="0.9233333333333333" Y="0.5"

4245 /><Name

4246 ><![CDATA[Node 3]]></Name

4247 ><LabelAbove

4248 >True</LabelAbove

4249 ><Shape

4250 ><![CDATA[interface]]></Shape

4251 ><Info

4252 ><list-int/></Info></Node

4253 ><Node id="N4"

4254 ><Position X="2.92875" Y="0.5529166666666667"

4255 /><Name

4256 ><![CDATA[Node 4]]></Name

4257 ><LabelAbove

4258 >True</LabelAbove

4259 ><Shape

4260 ><![CDATA[interface]]></Shape

4261 ><Info

4262 ><list-int/></Info></Node

4263 ><Node id="N5"

4264 ><Position X="2.6695833333333336" Y="5.4470833333333335"

4265 /><Name

4266 ><![CDATA[Node 5]]></Name

4267 ><LabelAbove

4268 >True</LabelAbove

4269 ><Shape

4270 ><![CDATA[interface]]></Shape

4271 ><Info

4272 ><list-int/></Info></Node

4273 ><Node id="N6"

4274 ><Position X="1.3147916666666666" Y="5.473541666666667"

4275 /><Name

4276 ><![CDATA[Node 6]]></Name

4277 ><LabelAbove

4278 >True</LabelAbove

4279 ><Shape

4280 ><![CDATA[interface]]></Shape

4281 ><Info

4282 ><list-int/></Info></Node></Nodes

4283 ><Edges

4284 ><Edge id="E1"

4285 ><From

4286 >1</From

4287 ><PortFrom

4288 ><![CDATA[down]]></PortFrom

4289 ><To

4290 >2</To

4291 ><PortTo

4292 ><![CDATA[res]]></PortTo

4293 ><Via

4294 /><Info

4295 ><list-int/></Info></Edge

4296 ><Edge id="E2"

4297 ><From

4298 >1</From

4299 ><PortFrom

4300 ><![CDATA[copy2]]></PortFrom

4301 ><To

4302 >4</To

4303 ><PortTo

4304 ><![CDATA[interface]]></PortTo

4305 ><Via

4306 /><Info

4307 ><list-int/></Info></Edge

4308 ><Edge id="E3"

4309 ><From

4310 >1</From

4311 ><PortFrom

4312 ><![CDATA[copy1]]></PortFrom

4313 ><To

4314 >3</To

4315 ><PortTo

4316 ><![CDATA[interface]]></PortTo

4317 ><Via

4318 /><Info

4319 ><list-int/></Info></Edge

4320 ><Edge id="E4"

4321 ><From

4322 >2</From

4323 ><PortFrom

4324 ><![CDATA[var]]></PortFrom

4325 ><To

4326 >6</To

4327 ><PortTo

4328 ><![CDATA[interface]]></PortTo

4329 ><Via

4330 /><Info

4331 ><list-int/></Info></Edge

4332 ><Edge id="E5"

4333 ><From

4334 >2</From

4335 ><PortFrom

4336 ><![CDATA[body]]></PortFrom

4337 ><To

4338 >5</To

4339 ><PortTo

4340 ><![CDATA[interface]]></PortTo

4341 ><Via

4342 /><Info

4343 ><list-int/></Info></Edge></Edges></Network></LHS

4344 ><RHS

4345 ><Network Width="15.0" Height="9.0"

4346 ><Info

4347 ><unit/></Info

4348 ><Nodes

4349 ><Node id="N3"

4350 ><Position X="0.9233333333333333" Y="0.5264583333333334"

4351 /><Name

4352 ><![CDATA[Node 3]]></Name

4353 ><LabelAbove

4354 >True</LabelAbove

4355 ><Shape

4356 ><![CDATA[interface]]></Shape

4357 ><Info

4358 ><list-int/></Info></Node

4359 ><Node id="N4"

4360 ><Position X="2.92875" Y="0.5529166666666667"

4361 /><Name

4362 ><![CDATA[Node 4]]></Name

4363 ><LabelAbove

4364 >True</LabelAbove

4365 ><Shape

4366 ><![CDATA[interface]]></Shape

4367 ><Info

4368 ><list-int/></Info></Node

4369 ><Node id="N5"

4370 ><Position X="2.907708333333334" Y="5.579375"

4371 /><Name

4372 ><![CDATA[Node 5]]></Name

4373 ><LabelAbove

4374 >True</LabelAbove

4375 ><Shape

4376 ><![CDATA[interface]]></Shape

4377 ><Info

4378 ><list-int/></Info></Node

4379 ><Node id="N6"

4380 ><Position X="0.9179166666666665" Y="5.579375"

4381 /><Name

4382 ><![CDATA[Node 6]]></Name

4383 ><LabelAbove

4384 >True</LabelAbove

4385 ><Shape

4386 ><![CDATA[interface]]></Shape

4387 ><Info

4388 ><list-int/></Info></Node

4389 ><Node id="N7"

4390 ><Position X="0.9260416666666668" Y="4.153958333333334"

4391 /><Name

4392 ><![CDATA[Node 7]]></Name

4393 ><LabelAbove

4394 >True</LabelAbove

4395 ><Shape

4396 ><![CDATA[duplicator]]></Shape

4397 ><Info

4398 ><list-int/></Info></Node

4399 ><Node id="N8"

4400 ><Position X="2.9104166666666673" Y="4.153958333333334"

4401 /><Name

4402 ><![CDATA[Node 8]]></Name

4403 ><LabelAbove

4404 >True</LabelAbove

4405 ><Shape

4406 ><![CDATA[duplicator]]></Shape

4407 ><Info

4408 ><list-int/></Info></Node

4409 ><Node id="N9"

4410 ><Position X="0.9260416666666667" Y="1.8785416666666668"

4411 /><Name

4412 ><![CDATA[Node 9]]></Name

4413 ><LabelAbove

4414 >True</LabelAbove

4415 ><Shape

4416 ><![CDATA[lambda]]></Shape

4417 ><Info

4418 ><list-int/></Info></Node

4419 ><Node id="N10"

4420 ><Position X="2.910416666666667" Y="1.905"

4421 /><Name

4422 ><![CDATA[Node 10]]></Name

4423 ><LabelAbove

4424 >True</LabelAbove

4425 ><Shape

4426 ><![CDATA[lambda]]></Shape

4427 ><Info

4428 ><list-int/></Info></Node></Nodes

4429 ><Edges

4430 ><Edge id="E1"

4431 ><From

4432 >7</From

4433 ><PortFrom

4434 ><![CDATA[down]]></PortFrom

4435 ><To

4436 >6</To

4437 ><PortTo

4438 ><![CDATA[interface]]></PortTo

4439 ><Via

4440 /><Info

4441 ><list-int/></Info></Edge

4442 ><Edge id="E2"

4443 ><From

4444 >8</From

4445 ><PortFrom

4446 ><![CDATA[down]]></PortFrom

4447 ><To

4448 >5</To

4449 ><PortTo

4450 ><![CDATA[interface]]></PortTo

4451 ><Via

4452 /><Info

4453 ><list-int/></Info></Edge

4454 ><Edge id="E3"

4455 ><From

4456 >3</From

4457 ><PortFrom

4458 ><![CDATA[interface]]></PortFrom

4459 ><To

4460 >9</To

4461 ><PortTo

4462 ><![CDATA[res]]></PortTo

4463 ><Via

4464 /><Info

4465 ><list-int/></Info></Edge

4466 ><Edge id="E4"

4467 ><From

4468 >4</From

4469 ><PortFrom

4470 ><![CDATA[interface]]></PortFrom

4471 ><To

4472 >10</To

4473 ><PortTo

4474 ><![CDATA[res]]></PortTo

4475 ><Via

4476 /><Info

4477 ><list-int/></Info></Edge

4478 ><Edge id="E5"

4479 ><From

4480 >7</From

4481 ><PortFrom

4482 ><![CDATA[copy1]]></PortFrom

4483 ><To

4484 >9</To

4485 ><PortTo

4486 ><![CDATA[var]]></PortTo

4487 ><Via

4488 /><Info

4489 ><list-int/></Info></Edge

4490 ><Edge id="E6"

4491 ><From

4492 >9</From

4493 ><PortFrom

4494 ><![CDATA[body]]></PortFrom

4495 ><To

4496 >8</To

4497 ><PortTo

4498 ><![CDATA[copy1]]></PortTo

4499 ><Via

4500 /><Info

4501 ><list-int/></Info></Edge

4502 ><Edge id="E7"

4503 ><From

4504 >10</From

4505 ><PortFrom

4506 ><![CDATA[var]]></PortFrom

4507 ><To

4508 >7</To

4509 ><PortTo

4510 ><![CDATA[copy2]]></PortTo

4511 ><Via

4512 /><Info

4513 ><list-int/></Info></Edge

4514 ><Edge id="E8"

4515 ><From

4516 >10</From

4517 ><PortFrom

4518 ><![CDATA[body]]></PortFrom

4519 ><To

4520 >8</To

4521 ><PortTo

4522 ><![CDATA[copy2]]></PortTo

4523 ><Via

4524 /><Info

4525 ><list-int/></Info></Edge></Edges></Network></RHS

4526 ><Mapping

4527 ><MappingElement lhs="3" rhs="3"

4528 /><MappingElement lhs="4" rhs="4"

4529 /><MappingElement lhs="5" rhs="5"

4530 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

4531 ><INRule

4532 ><Name

4533 ><![CDATA[Duplicator_Application]]></Name

4534 ><LHS

4535 ><Network Width="15.0" Height="9.0"

4536 ><Info

4537 ><unit/></Info

4538 ><Nodes

4539 ><Node id="N1"

4540 ><Position X="2.0" Y="2.0"

4541 /><Name

4542 ><![CDATA[Node 1]]></Name

4543 ><LabelAbove

4544 >True</LabelAbove

4545 ><Shape

4546 ><![CDATA[duplicator]]></Shape

4547 ><Info

4548 ><list-int/></Info></Node

4549 ><Node id="N2"

4550 ><Position X="3.576666666666666" Y="3.444375"

4551 /><Name

4552 ><![CDATA[Node 2]]></Name

4553 ><LabelAbove

4554 >True</LabelAbove

4555 ><Shape

4556 ><![CDATA[application]]></Shape

4557 ><Info

4558 ><list-int/></Info></Node

4559 ><Node id="N3"

4560 ><Position X="1.3466666666666667" Y="0.47354166666666664"

4561 /><Name

4562 ><![CDATA[Node 3]]></Name

4563 ><LabelAbove

4564 >True</LabelAbove

4565 ><Shape

4566 ><![CDATA[interface]]></Shape

4567 ><Info

4568 ><list-int/></Info></Node

4569 ><Node id="N4"

4570 ><Position X="2.584791666666667" Y="0.5529166666666667"

4571 /><Name

4572 ><![CDATA[Node 4]]></Name

4573 ><LabelAbove

4574 >True</LabelAbove

4575 ><Shape

4576 ><![CDATA[interface]]></Shape

4577 ><Info

4578 ><list-int/></Info></Node

4579 ><Node id="N5"

4580 ><Position X="5.860208333333334" Y="2.8283333333333336"

4581 /><Name

4582 ><![CDATA[Node 5]]></Name

4583 ><LabelAbove

4584 >True</LabelAbove

4585 ><Shape

4586 ><![CDATA[interface]]></Shape

4587 ><Info

4588 ><list-int/></Info></Node

4589 ><Node id="N6"

4590 ><Position X="4.839166666666666" Y="5.288333333333334"

4591 /><Name

4592 ><![CDATA[Node 6]]></Name

4593 ><LabelAbove

4594 >True</LabelAbove

4595 ><Shape

4596 ><![CDATA[interface]]></Shape

4597 ><Info

4598 ><list-int/></Info></Node></Nodes

4599 ><Edges

4600 ><Edge id="E1"

4601 ><From

4602 >1</From

4603 ><PortFrom

4604 ><![CDATA[down]]></PortFrom

4605 ><To

4606 >2</To

4607 ><PortTo

4608 ><![CDATA[func]]></PortTo

4609 ><Via

4610 /><Info

4611 ><list-int/></Info></Edge

4612 ><Edge id="E2"

4613 ><From

4614 >1</From

4615 ><PortFrom

4616 ><![CDATA[copy2]]></PortFrom

4617 ><To

4618 >4</To

4619 ><PortTo

4620 ><![CDATA[interface]]></PortTo

4621 ><Via

4622 /><Info

4623 ><list-int/></Info></Edge

4624 ><Edge id="E3"

4625 ><From

4626 >1</From

4627 ><PortFrom

4628 ><![CDATA[copy1]]></PortFrom

4629 ><To

4630 >3</To

4631 ><PortTo

4632 ><![CDATA[interface]]></PortTo

4633 ><Via

4634 /><Info

4635 ><list-int/></Info></Edge

4636 ><Edge id="E4"

4637 ><From

4638 >2</From

4639 ><PortFrom

4640 ><![CDATA[arg]]></PortFrom

4641 ><To

4642 >6</To

4643 ><PortTo

4644 ><![CDATA[interface]]></PortTo

4645 ><Via

4646 /><Info

4647 ><list-int/></Info></Edge

4648 ><Edge id="E5"

4649 ><From

4650 >2</From

4651 ><PortFrom

4652 ><![CDATA[res]]></PortFrom

4653 ><To

4654 >5</To

4655 ><PortTo

4656 ><![CDATA[interface]]></PortTo

4657 ><Via

4658 /><Info

4659 ><list-int/></Info></Edge></Edges></Network></LHS

4660 ><RHS

4661 ><Network Width="15.0" Height="9.0"

4662 ><Info

4663 ><unit/></Info

4664 ><Nodes

4665 ><Node id="N3"

4666 ><Position X="1.3466666666666667" Y="0.47354166666666664"

4667 /><Name

4668 ><![CDATA[Node 3]]></Name

4669 ><LabelAbove

4670 >True</LabelAbove

4671 ><Shape

4672 ><![CDATA[interface]]></Shape

4673 ><Info

4674 ><list-int/></Info></Node

4675 ><Node id="N4"

4676 ><Position X="3.378541666666667" Y="0.44708333333333333"

4677 /><Name

4678 ><![CDATA[Node 4]]></Name

4679 ><LabelAbove

4680 >True</LabelAbove

4681 ><Shape

4682 ><![CDATA[interface]]></Shape

4683 ><Info

4684 ><list-int/></Info></Node

4685 ><Node id="N5"

4686 ><Position X="8.082708333333334" Y="4.495208333333334"

4687 /><Name

4688 ><![CDATA[Node 5]]></Name

4689 ><LabelAbove

4690 >True</LabelAbove

4691 ><Shape

4692 ><![CDATA[interface]]></Shape

4693 ><Info

4694 ><list-int/></Info></Node

4695 ><Node id="N6"

4696 ><Position X="3.039999999999999" Y="5.870416666666667"

4697 /><Name

4698 ><![CDATA[Node 6]]></Name

4699 ><LabelAbove

4700 >True</LabelAbove

4701 ><Shape

4702 ><![CDATA[interface]]></Shape

4703 ><Info

4704 ><list-int/></Info></Node

4705 ><Node id="N7"

4706 ><Position X="2.196041666666667" Y="2.037291666666667"

4707 /><Name

4708 ><![CDATA[Node 7]]></Name

4709 ><LabelAbove

4710 >True</LabelAbove

4711 ><Shape

4712 ><![CDATA[application]]></Shape

4713 ><Info

4714 ><list-int/></Info></Node

4715 ><Node id="N8"

4716 ><Position X="4.180416666666667" Y="2.0902083333333334"

4717 /><Name

4718 ><![CDATA[Node 8]]></Name

4719 ><LabelAbove

4720 >True</LabelAbove

4721 ><Shape

4722 ><![CDATA[application]]></Shape

4723 ><Info

4724 ><list-int/></Info></Node

4725 ><Node id="N9"

4726 ><Position X="3.0427083333333336" Y="4.101041666666667"

4727 /><Name

4728 ><![CDATA[Node 9]]></Name

4729 ><LabelAbove

4730 >True</LabelAbove

4731 ><Shape

4732 ><![CDATA[duplicator]]></Shape

4733 ><Info

4734 ><list-int/></Info></Node

4735 ><Node id="N10"

4736 ><Position X="8.096249999999998" Y="2.7781249999999997"

4737 /><Name

4738 ><![CDATA[Node 10]]></Name

4739 ><LabelAbove

4740 >True</LabelAbove

4741 ><Shape

4742 ><![CDATA[duplicator]]></Shape

4743 ><Info

4744 ><list-int/></Info></Node></Nodes

4745 ><Edges

4746 ><Edge id="E1"

4747 ><From

4748 >7</From

4749 ><PortFrom

4750 ><![CDATA[func]]></PortFrom

4751 ><To

4752 >3</To

4753 ><PortTo

4754 ><![CDATA[interface]]></PortTo

4755 ><Via

4756 ><Position X="1.3229166666666667" Y="2.3018750000000003"/></Via

4757 ><Info

4758 ><list-int/></Info></Edge

4759 ><Edge id="E2"

4760 ><From

4761 >4</From

4762 ><PortFrom

4763 ><![CDATA[interface]]></PortFrom

4764 ><To

4765 >8</To

4766 ><PortTo

4767 ><![CDATA[func]]></PortTo

4768 ><Via

4769 ><Position X="3.360208333333334" Y="2.38125"/></Via

4770 ><Info

4771 ><list-int/></Info></Edge

4772 ><Edge id="E3"

4773 ><From

4774 >10</From

4775 ><PortFrom

4776 ><![CDATA[down]]></PortFrom

4777 ><To

4778 >5</To

4779 ><PortTo

4780 ><![CDATA[interface]]></PortTo

4781 ><Via

4782 /><Info

4783 ><list-int/></Info></Edge

4784 ><Edge id="E4"

4785 ><From

4786 >9</From

4787 ><PortFrom

4788 ><![CDATA[down]]></PortFrom

4789 ><To

4790 >6</To

4791 ><PortTo

4792 ><![CDATA[interface]]></PortTo

4793 ><Via

4794 /><Info

4795 ><list-int/></Info></Edge

4796 ><Edge id="E5"

4797 ><From

4798 >10</From

4799 ><PortFrom

4800 ><![CDATA[copy1]]></PortFrom

4801 ><To

4802 >7</To

4803 ><PortTo

4804 ><![CDATA[res]]></PortTo

4805 ><Via

4806 ><Position X="7.7787500000000005" Y="1.2964583333333335"

4807 /><Position X="2.1695833333333336" Y="1.2964583333333335"/></Via

4808 ><Info

4809 ><list-int/></Info></Edge

4810 ><Edge id="E6"

4811 ><From

4812 >8</From

4813 ><PortFrom

4814 ><![CDATA[res]]></PortFrom

4815 ><To

4816 >10</To

4817 ><PortTo

4818 ><![CDATA[copy2]]></PortTo

4819 ><Via

4820 ><Position X="4.153958333333334" Y="0.6879166666666666"

4821 /><Position X="8.413749999999999" Y="0.6879166666666665"/></Via

4822 ><Info

4823 ><list-int/></Info></Edge

4824 ><Edge id="E7"

4825 ><From

4826 >9</From

4827 ><PortFrom

4828 ><![CDATA[copy1]]></PortFrom

4829 ><To

4830 >7</To

4831 ><PortTo

4832 ><![CDATA[arg]]></PortTo

4833 ><Via

4834 /><Info

4835 ><list-int/></Info></Edge

4836 ><Edge id="E8"

4837 ><From

4838 >8</From

4839 ><PortFrom

4840 ><![CDATA[arg]]></PortFrom

4841 ><To

4842 >9</To

4843 ><PortTo

4844 ><![CDATA[copy2]]></PortTo

4845 ><Via

4846 /><Info

4847 ><list-int/></Info></Edge></Edges></Network></RHS

4848 ><Mapping

4849 ><MappingElement lhs="3" rhs="3"

4850 /><MappingElement lhs="4" rhs="4"

4851 /><MappingElement lhs="5" rhs="5"

4852 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

4853 ><INRule

4854 ><Name

4855 ><![CDATA[Duplicator_Evaluator]]></Name

4856 ><LHS

4857 ><Network Width="15.0" Height="9.0"

4858 ><Info

4859 ><unit/></Info

4860 ><Nodes

4861 ><Node id="N1"

4862 ><Position X="2.0" Y="2.0"

4863 /><Name

4864 ><![CDATA[Node 1]]></Name

4865 ><LabelAbove

4866 >True</LabelAbove

4867 ><Shape

4868 ><![CDATA[duplicator]]></Shape

4869 ><Info

4870 ><list-int/></Info></Node

4871 ><Node id="N2"

4872 ><Position X="4.0" Y="2.0"

4873 /><Name

4874 ><![CDATA[Node 2]]></Name

4875 ><LabelAbove

4876 >True</LabelAbove

4877 ><Shape

4878 ><![CDATA[evaluation]]></Shape

4879 ><Info

4880 ><list-int/></Info></Node

4881 ><Node id="N3"

4882 ><Position X="1.5847916666666668" Y="0.5529166666666666"

4883 /><Name

4884 ><![CDATA[Node 3]]></Name

4885 ><LabelAbove

4886 >True</LabelAbove

4887 ><Shape

4888 ><![CDATA[interface]]></Shape

4889 ><Info

4890 ><list-int/></Info></Node

4891 ><Node id="N4"

4892 ><Position X="2.426041666666667" Y="0.5529166666666667"

4893 /><Name

4894 ><![CDATA[Node 4]]></Name

4895 ><LabelAbove

4896 >True</LabelAbove

4897 ><Shape

4898 ><![CDATA[interface]]></Shape

4899 ><Info

4900 ><list-int/></Info></Node

4901 ><Node id="N5"

4902 ><Position X="4.008125" Y="0.44708333333333333"

4903 /><Name

4904 ><![CDATA[Node 5]]></Name

4905 ><LabelAbove

4906 >True</LabelAbove

4907 ><Shape

4908 ><![CDATA[interface]]></Shape

4909 ><Info

4910 ><list-int/></Info></Node></Nodes

4911 ><Edges

4912 ><Edge id="E1"

4913 ><From

4914 >1</From

4915 ><PortFrom

4916 ><![CDATA[down]]></PortFrom

4917 ><To

4918 >2</To

4919 ><PortTo

4920 ><![CDATA[arg]]></PortTo

4921 ><Via

4922 /><Info

4923 ><list-int/></Info></Edge

4924 ><Edge id="E2"

4925 ><From

4926 >1</From

4927 ><PortFrom

4928 ><![CDATA[copy2]]></PortFrom

4929 ><To

4930 >4</To

4931 ><PortTo

4932 ><![CDATA[interface]]></PortTo

4933 ><Via

4934 /><Info

4935 ><list-int/></Info></Edge

4936 ><Edge id="E3"

4937 ><From

4938 >1</From

4939 ><PortFrom

4940 ><![CDATA[copy1]]></PortFrom

4941 ><To

4942 >3</To

4943 ><PortTo

4944 ><![CDATA[interface]]></PortTo

4945 ><Via

4946 /><Info

4947 ><list-int/></Info></Edge

4948 ><Edge id="E4"

4949 ><From

4950 >2</From

4951 ><PortFrom

4952 ><![CDATA[res]]></PortFrom

4953 ><To

4954 >5</To

4955 ><PortTo

4956 ><![CDATA[interface]]></PortTo

4957 ><Via

4958 /><Info

4959 ><list-int/></Info></Edge></Edges></Network></LHS

4960 ><RHS

4961 ><Network Width="15.0" Height="9.0"

4962 ><Info

4963 ><unit/></Info

4964 ><Nodes

4965 ><Node id="N3"

4966 ><Position X="1.5847916666666668" Y="0.5529166666666666"

4967 /><Name

4968 ><![CDATA[Node 3]]></Name

4969 ><LabelAbove

4970 >True</LabelAbove

4971 ><Shape

4972 ><![CDATA[interface]]></Shape

4973 ><Info

4974 ><list-int/></Info></Node

4975 ><Node id="N4"

4976 ><Position X="5.257083333333336" Y="0.5793750000000001"

4977 /><Name

4978 ><![CDATA[Node 4]]></Name

4979 ><LabelAbove

4980 >True</LabelAbove

4981 ><Shape

4982 ><![CDATA[interface]]></Shape

4983 ><Info

4984 ><list-int/></Info></Node

4985 ><Node id="N5"

4986 ><Position X="3.2672916666666674" Y="5.7387500000000005"

4987 /><Name

4988 ><![CDATA[Node 5]]></Name

4989 ><LabelAbove

4990 >True</LabelAbove

4991 ><Shape

4992 ><![CDATA[interface]]></Shape

4993 ><Info

4994 ><list-int/></Info></Node

4995 ><Node id="N6"

4996 ><Position X="2.3283333333333336" Y="1.878541666666667"

4997 /><Name

4998 ><![CDATA[Node 6]]></Name

4999 ><LabelAbove

5000 >True</LabelAbove

5001 ><Shape

5002 ><![CDATA[evaluation]]></Shape

5003 ><Info

5004 ><list-int/></Info></Node

5005 ><Node id="N7"

5006 ><Position X="4.471458333333333" Y="1.878541666666667"

5007 /><Name

5008 ><![CDATA[Node 7]]></Name

5009 ><LabelAbove

5010 >True</LabelAbove

5011 ><Shape

5012 ><![CDATA[evaluation]]></Shape

5013 ><Info

5014 ><list-int/></Info></Node

5015 ><Node id="N8"

5016 ><Position X="3.2808333333333337" Y="4.048125000000001"

5017 /><Name

5018 ><![CDATA[Node 8]]></Name

5019 ><LabelAbove

5020 >True</LabelAbove

5021 ><Shape

5022 ><![CDATA[duplicator]]></Shape

5023 ><Info

5024 ><list-int/></Info></Node></Nodes

5025 ><Edges

5026 ><Edge id="E1"

5027 ><From

5028 >6</From

5029 ><PortFrom

5030 ><![CDATA[arg]]></PortFrom

5031 ><To

5032 >3</To

5033 ><PortTo

5034 ><![CDATA[interface]]></PortTo

5035 ><Via

5036 ><Position X="1.5610416666666669" Y="2.3547916666666673"/></Via

5037 ><Info

5038 ><list-int/></Info></Edge

5039 ><Edge id="E2"

5040 ><From

5041 >4</From

5042 ><PortFrom

5043 ><![CDATA[interface]]></PortFrom

5044 ><To

5045 >7</To

5046 ><PortTo

5047 ><![CDATA[arg]]></PortTo

5048 ><Via

5049 ><Position X="5.238750000000001" Y="2.354791666666667"/></Via

5050 ><Info

5051 ><list-int/></Info></Edge

5052 ><Edge id="E3"

5053 ><From

5054 >5</From

5055 ><PortFrom

5056 ><![CDATA[interface]]></PortFrom

5057 ><To

5058 >8</To

5059 ><PortTo

5060 ><![CDATA[down]]></PortTo

5061 ><Via

5062 /><Info

5063 ><list-int/></Info></Edge

5064 ><Edge id="E4"

5065 ><From

5066 >8</From

5067 ><PortFrom

5068 ><![CDATA[copy1]]></PortFrom

5069 ><To

5070 >6</To

5071 ><PortTo

5072 ><![CDATA[res]]></PortTo

5073 ><Via

5074 ><Position X="2.9633333333333334" Y="1.3758333333333337"/></Via

5075 ><Info

5076 ><list-int/></Info></Edge

5077 ><Edge id="E5"

5078 ><From

5079 >7</From

5080 ><PortFrom

5081 ><![CDATA[res]]></PortFrom

5082 ><To

5083 >8</To

5084 ><PortTo

5085 ><![CDATA[copy2]]></PortTo

5086 ><Via

5087 ><Position X="3.5718750000000004" Y="1.3758333333333337"/></Via

5088 ><Info

5089 ><list-int/></Info></Edge></Edges></Network></RHS

5090 ><Mapping

5091 ><MappingElement lhs="3" rhs="3"

5092 /><MappingElement lhs="4" rhs="4"

5093 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

5094 ><INRule

5095 ><Name

5096 ><![CDATA[Duplicator_EvaluatorReturning]]></Name

5097 ><LHS

5098 ><Network Width="15.0" Height="9.0"

5099 ><Info

5100 ><unit/></Info

5101 ><Nodes

5102 ><Node id="N1"

5103 ><Position X="2.0" Y="2.0"

5104 /><Name

5105 ><![CDATA[Node 1]]></Name

5106 ><LabelAbove

5107 >True</LabelAbove

5108 ><Shape

5109 ><![CDATA[duplicator]]></Shape

5110 ><Info

5111 ><list-int/></Info></Node

5112 ><Node id="N2"

5113 ><Position X="2.0" Y="4.0"

5114 /><Name

5115 ><![CDATA[Node 2]]></Name

5116 ><LabelAbove

5117 >True</LabelAbove

5118 ><Shape

5119 ><![CDATA[evalReturn]]></Shape

5120 ><Info

5121 ><list-int/></Info></Node

5122 ><Node id="N3"

5123 ><Position X="1.1349999999999998" Y="0.44708333333333333"

5124 /><Name

5125 ><![CDATA[Node 3]]></Name

5126 ><LabelAbove

5127 >True</LabelAbove

5128 ><Shape

5129 ><![CDATA[interface]]></Shape

5130 ><Info

5131 ><list-int/></Info></Node

5132 ><Node id="N4"

5133 ><Position X="3.0081249999999997" Y="0.5529166666666667"

5134 /><Name

5135 ><![CDATA[Node 4]]></Name

5136 ><LabelAbove

5137 >True</LabelAbove

5138 ><Shape

5139 ><![CDATA[interface]]></Shape

5140 ><Info

5141 ><list-int/></Info></Node

5142 ><Node id="N5"

5143 ><Position X="2.008125" Y="5.5529166666666665"

5144 /><Name

5145 ><![CDATA[Node 5]]></Name

5146 ><LabelAbove

5147 >True</LabelAbove

5148 ><Shape

5149 ><![CDATA[interface]]></Shape

5150 ><Info

5151 ><list-int/></Info></Node></Nodes

5152 ><Edges

5153 ><Edge id="E1"

5154 ><From

5155 >1</From

5156 ><PortFrom

5157 ><![CDATA[down]]></PortFrom

5158 ><To

5159 >2</To

5160 ><PortTo

5161 ><![CDATA[res]]></PortTo

5162 ><Via

5163 /><Info

5164 ><list-int/></Info></Edge

5165 ><Edge id="E2"

5166 ><From

5167 >1</From

5168 ><PortFrom

5169 ><![CDATA[copy2]]></PortFrom

5170 ><To

5171 >4</To

5172 ><PortTo

5173 ><![CDATA[interface]]></PortTo

5174 ><Via

5175 /><Info

5176 ><list-int/></Info></Edge

5177 ><Edge id="E3"

5178 ><From

5179 >1</From

5180 ><PortFrom

5181 ><![CDATA[copy1]]></PortFrom

5182 ><To

5183 >3</To

5184 ><PortTo

5185 ><![CDATA[interface]]></PortTo

5186 ><Via

5187 /><Info

5188 ><list-int/></Info></Edge

5189 ><Edge id="E4"

5190 ><From

5191 >2</From

5192 ><PortFrom

5193 ><![CDATA[arg]]></PortFrom

5194 ><To

5195 >5</To

5196 ><PortTo

5197 ><![CDATA[interface]]></PortTo

5198 ><Via

5199 /><Info

5200 ><list-int/></Info></Edge></Edges></Network></LHS

5201 ><RHS

5202 ><Network Width="15.0" Height="9.0"

5203 ><Info

5204 ><unit/></Info

5205 ><Nodes

5206 ><Node id="N3"

5207 ><Position X="1.1349999999999998" Y="0.44708333333333333"

5208 /><Name

5209 ><![CDATA[Node 3]]></Name

5210 ><LabelAbove

5211 >True</LabelAbove

5212 ><Shape

5213 ><![CDATA[interface]]></Shape

5214 ><Info

5215 ><list-int/></Info></Node

5216 ><Node id="N4"

5217 ><Position X="3.0081249999999997" Y="0.5529166666666667"

5218 /><Name

5219 ><![CDATA[Node 4]]></Name

5220 ><LabelAbove

5221 >True</LabelAbove

5222 ><Shape

5223 ><![CDATA[interface]]></Shape

5224 ><Info

5225 ><list-int/></Info></Node

5226 ><Node id="N5"

5227 ><Position X="2.008125" Y="5.5529166666666665"

5228 /><Name

5229 ><![CDATA[Node 5]]></Name

5230 ><LabelAbove

5231 >True</LabelAbove

5232 ><Shape

5233 ><![CDATA[interface]]></Shape

5234 ><Info

5235 ><list-int/></Info></Node

5236 ><Node id="N6"

5237 ><Position X="1.1377083333333333" Y="2.0108333333333333"

5238 /><Name

5239 ><![CDATA[Node 6]]></Name

5240 ><LabelAbove

5241 >True</LabelAbove

5242 ><Shape

5243 ><![CDATA[evalReturn]]></Shape

5244 ><Info

5245 ><list-int/></Info></Node

5246 ><Node id="N7"

5247 ><Position X="2.9897916666666666" Y="1.9843750000000004"

5248 /><Name

5249 ><![CDATA[Node 7]]></Name

5250 ><LabelAbove

5251 >True</LabelAbove

5252 ><Shape

5253 ><![CDATA[evalReturn]]></Shape

5254 ><Info

5255 ><list-int/></Info></Node

5256 ><Node id="N8"

5257 ><Position X="1.984375" Y="4.074583333333334"

5258 /><Name

5259 ><![CDATA[Node 8]]></Name

5260 ><LabelAbove

5261 >True</LabelAbove

5262 ><Shape

5263 ><![CDATA[duplicator]]></Shape

5264 ><Info

5265 ><list-int/></Info></Node></Nodes

5266 ><Edges

5267 ><Edge id="E1"

5268 ><From

5269 >6</From

5270 ><PortFrom

5271 ><![CDATA[res]]></PortFrom

5272 ><To

5273 >3</To

5274 ><PortTo

5275 ><![CDATA[interface]]></PortTo

5276 ><Via

5277 /><Info

5278 ><list-int/></Info></Edge

5279 ><Edge id="E2"

5280 ><From

5281 >4</From

5282 ><PortFrom

5283 ><![CDATA[interface]]></PortFrom

5284 ><To

5285 >7</To

5286 ><PortTo

5287 ><![CDATA[res]]></PortTo

5288 ><Via

5289 /><Info

5290 ><list-int/></Info></Edge

5291 ><Edge id="E3"

5292 ><From

5293 >8</From

5294 ><PortFrom

5295 ><![CDATA[down]]></PortFrom

5296 ><To

5297 >5</To

5298 ><PortTo

5299 ><![CDATA[interface]]></PortTo

5300 ><Via

5301 /><Info

5302 ><list-int/></Info></Edge

5303 ><Edge id="E4"

5304 ><From

5305 >8</From

5306 ><PortFrom

5307 ><![CDATA[copy1]]></PortFrom

5308 ><To

5309 >6</To

5310 ><PortTo

5311 ><![CDATA[arg]]></PortTo

5312 ><Via

5313 /><Info

5314 ><list-int/></Info></Edge

5315 ><Edge id="E5"

5316 ><From

5317 >7</From

5318 ><PortFrom

5319 ><![CDATA[arg]]></PortFrom

5320 ><To

5321 >8</To

5322 ><PortTo

5323 ><![CDATA[copy2]]></PortTo

5324 ><Via

5325 /><Info

5326 ><list-int/></Info></Edge></Edges></Network></RHS

5327 ><Mapping

5328 ><MappingElement lhs="3" rhs="3"

5329 /><MappingElement lhs="4" rhs="4"

5330 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

5331 ><INRule

5332 ><Name

5333 ><![CDATA[Duplicator_preApplication]]></Name

5334 ><LHS

5335 ><Network Width="15.0" Height="9.0"

5336 ><Info

5337 ><unit/></Info

5338 ><Nodes

5339 ><Node id="N1"

5340 ><Position X="2.0" Y="2.0"

5341 /><Name

5342 ><![CDATA[Node 1]]></Name

5343 ><LabelAbove

5344 >True</LabelAbove

5345 ><Shape

5346 ><![CDATA[duplicator]]></Shape

5347 ><Info

5348 ><list-int/></Info></Node

5349 ><Node id="N2"

5350 ><Position X="2.0" Y="4.0"

5351 /><Name

5352 ><![CDATA[Node 2]]></Name

5353 ><LabelAbove

5354 >True</LabelAbove

5355 ><Shape

5356 ><![CDATA[beforeApplication]]></Shape

5357 ><Info

5358 ><list-int/></Info></Node

5359 ><Node id="N3"

5360 ><Position X="1.29375" Y="0.5264583333333333"

5361 /><Name

5362 ><![CDATA[Node 3]]></Name

5363 ><LabelAbove

5364 >True</LabelAbove

5365 ><Shape

5366 ><![CDATA[interface]]></Shape

5367 ><Info

5368 ><list-int/></Info></Node

5369 ><Node id="N4"

5370 ><Position X="2.955208333333333" Y="0.6058333333333334"

5371 /><Name

5372 ><![CDATA[Node 4]]></Name

5373 ><LabelAbove

5374 >True</LabelAbove

5375 ><Shape

5376 ><![CDATA[interface]]></Shape

5377 ><Info

5378 ><list-int/></Info></Node

5379 ><Node id="N5"

5380 ><Position X="2.8018750000000003" Y="5.5"

5381 /><Name

5382 ><![CDATA[Node 5]]></Name

5383 ><LabelAbove

5384 >True</LabelAbove

5385 ><Shape

5386 ><![CDATA[interface]]></Shape

5387 ><Info

5388 ><list-int/></Info></Node

5389 ><Node id="N6"

5390 ><Position X="1.2354166666666666" Y="5.5"

5391 /><Name

5392 ><![CDATA[Node 6]]></Name

5393 ><LabelAbove

5394 >True</LabelAbove

5395 ><Shape

5396 ><![CDATA[interface]]></Shape

5397 ><Info

5398 ><list-int/></Info></Node></Nodes

5399 ><Edges

5400 ><Edge id="E1"

5401 ><From

5402 >1</From

5403 ><PortFrom

5404 ><![CDATA[down]]></PortFrom

5405 ><To

5406 >2</To

5407 ><PortTo

5408 ><![CDATA[res]]></PortTo

5409 ><Via

5410 /><Info

5411 ><list-int/></Info></Edge

5412 ><Edge id="E2"

5413 ><From

5414 >1</From

5415 ><PortFrom

5416 ><![CDATA[copy2]]></PortFrom

5417 ><To

5418 >4</To

5419 ><PortTo

5420 ><![CDATA[interface]]></PortTo

5421 ><Via

5422 /><Info

5423 ><list-int/></Info></Edge

5424 ><Edge id="E3"

5425 ><From

5426 >1</From

5427 ><PortFrom

5428 ><![CDATA[copy1]]></PortFrom

5429 ><To

5430 >3</To

5431 ><PortTo

5432 ><![CDATA[interface]]></PortTo

5433 ><Via

5434 /><Info

5435 ><list-int/></Info></Edge

5436 ><Edge id="E4"

5437 ><From

5438 >2</From

5439 ><PortFrom

5440 ><![CDATA[func]]></PortFrom

5441 ><To

5442 >6</To

5443 ><PortTo

5444 ><![CDATA[interface]]></PortTo

5445 ><Via

5446 /><Info

5447 ><list-int/></Info></Edge

5448 ><Edge id="E5"

5449 ><From

5450 >2</From

5451 ><PortFrom

5452 ><![CDATA[arg]]></PortFrom

5453 ><To

5454 >5</To

5455 ><PortTo

5456 ><![CDATA[interface]]></PortTo

5457 ><Via

5458 /><Info

5459 ><list-int/></Info></Edge></Edges></Network></LHS

5460 ><RHS

5461 ><Network Width="15.0" Height="9.0"

5462 ><Info

5463 ><unit/></Info

5464 ><Nodes

5465 ><Node id="N3"

5466 ><Position X="1.29375" Y="0.5264583333333333"

5467 /><Name

5468 ><![CDATA[Node 3]]></Name

5469 ><LabelAbove

5470 >True</LabelAbove

5471 ><Shape

5472 ><![CDATA[interface]]></Shape

5473 ><Info

5474 ><list-int/></Info></Node

5475 ><Node id="N4"

5476 ><Position X="2.955208333333333" Y="0.6322916666666668"

5477 /><Name

5478 ><![CDATA[Node 4]]></Name

5479 ><LabelAbove

5480 >True</LabelAbove

5481 ><Shape

5482 ><![CDATA[interface]]></Shape

5483 ><Info

5484 ><list-int/></Info></Node

5485 ><Node id="N5"

5486 ><Position X="2.934166666666667" Y="5.526458333333333"

5487 /><Name

5488 ><![CDATA[Node 5]]></Name

5489 ><LabelAbove

5490 >True</LabelAbove

5491 ><Shape

5492 ><![CDATA[interface]]></Shape

5493 ><Info

5494 ><list-int/></Info></Node

5495 ><Node id="N6"

5496 ><Position X="1.2883333333333333" Y="5.5"

5497 /><Name

5498 ><![CDATA[Node 6]]></Name

5499 ><LabelAbove

5500 >True</LabelAbove

5501 ><Shape

5502 ><![CDATA[interface]]></Shape

5503 ><Info

5504 ><list-int/></Info></Node

5505 ><Node id="N7"

5506 ><Position X="1.2964583333333337" Y="4.1275"

5507 /><Name

5508 ><![CDATA[Node 7]]></Name

5509 ><LabelAbove

5510 >True</LabelAbove

5511 ><Shape

5512 ><![CDATA[duplicator]]></Shape

5513 ><Info

5514 ><list-int/></Info></Node

5515 ><Node id="N8"

5516 ><Position X="2.936875" Y="4.1275"

5517 /><Name

5518 ><![CDATA[Node 8]]></Name

5519 ><LabelAbove

5520 >True</LabelAbove

5521 ><Shape

5522 ><![CDATA[duplicator]]></Shape

5523 ><Info

5524 ><list-int/></Info></Node

5525 ><Node id="N9"

5526 ><Position X="1.2964583333333335" Y="1.8520833333333333"

5527 /><Name

5528 ><![CDATA[Node 9]]></Name

5529 ><LabelAbove

5530 >True</LabelAbove

5531 ><Shape

5532 ><![CDATA[beforeApplication]]></Shape

5533 ><Info

5534 ><list-int/></Info></Node

5535 ><Node id="N10"

5536 ><Position X="2.9368750000000006" Y="1.7991666666666668"

5537 /><Name

5538 ><![CDATA[Node 10]]></Name

5539 ><LabelAbove

5540 >True</LabelAbove

5541 ><Shape

5542 ><![CDATA[beforeApplication]]></Shape

5543 ><Info

5544 ><list-int/></Info></Node></Nodes

5545 ><Edges

5546 ><Edge id="E1"

5547 ><From

5548 >7</From

5549 ><PortFrom

5550 ><![CDATA[down]]></PortFrom

5551 ><To

5552 >6</To

5553 ><PortTo

5554 ><![CDATA[interface]]></PortTo

5555 ><Via

5556 /><Info

5557 ><list-int/></Info></Edge

5558 ><Edge id="E2"

5559 ><From

5560 >8</From

5561 ><PortFrom

5562 ><![CDATA[down]]></PortFrom

5563 ><To

5564 >5</To

5565 ><PortTo

5566 ><![CDATA[interface]]></PortTo

5567 ><Via

5568 /><Info

5569 ><list-int/></Info></Edge

5570 ><Edge id="E3"

5571 ><From

5572 >3</From

5573 ><PortFrom

5574 ><![CDATA[interface]]></PortFrom

5575 ><To

5576 >9</To

5577 ><PortTo

5578 ><![CDATA[res]]></PortTo

5579 ><Via

5580 /><Info

5581 ><list-int/></Info></Edge

5582 ><Edge id="E4"

5583 ><From

5584 >4</From

5585 ><PortFrom

5586 ><![CDATA[interface]]></PortFrom

5587 ><To

5588 >10</To

5589 ><PortTo

5590 ><![CDATA[res]]></PortTo

5591 ><Via

5592 /><Info

5593 ><list-int/></Info></Edge

5594 ><Edge id="E5"

5595 ><From

5596 >9</From

5597 ><PortFrom

5598 ><![CDATA[func]]></PortFrom

5599 ><To

5600 >7</To

5601 ><PortTo

5602 ><![CDATA[copy1]]></PortTo

5603 ><Via

5604 /><Info

5605 ><list-int/></Info></Edge

5606 ><Edge id="E6"

5607 ><From

5608 >10</From

5609 ><PortFrom

5610 ><![CDATA[func]]></PortFrom

5611 ><To

5612 >7</To

5613 ><PortTo

5614 ><![CDATA[copy2]]></PortTo

5615 ><Via

5616 /><Info

5617 ><list-int/></Info></Edge

5618 ><Edge id="E7"

5619 ><From

5620 >9</From

5621 ><PortFrom

5622 ><![CDATA[arg]]></PortFrom

5623 ><To

5624 >8</To

5625 ><PortTo

5626 ><![CDATA[copy1]]></PortTo

5627 ><Via

5628 /><Info

5629 ><list-int/></Info></Edge

5630 ><Edge id="E8"

5631 ><From

5632 >10</From

5633 ><PortFrom

5634 ><![CDATA[arg]]></PortFrom

5635 ><To

5636 >8</To

5637 ><PortTo

5638 ><![CDATA[copy2]]></PortTo

5639 ><Via

5640 /><Info

5641 ><list-int/></Info></Edge></Edges></Network></RHS

5642 ><Mapping

5643 ><MappingElement lhs="3" rhs="3"

5644 /><MappingElement lhs="4" rhs="4"

5645 /><MappingElement lhs="5" rhs="5"

5646 /><MappingElement lhs="6"

5647 rhs="6"/></Mapping></INRule></Rules></Document>