darcs - INblobs

1 <Document

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

3 ><Info

4 ><unit/></Info

5 ><Nodes

6 ><Node id="N4"

7 ><Position X="6.376458333333334" Y="0.5291666666666669"

8 /><Name

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

10 ><LabelAbove

11 >True</LabelAbove

12 ><Shape

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

14 ><Info

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

16 ><Node id="N5"

17 ><Position X="6.191249999999999" Y="9.683750000000002"

18 /><Name

19 ><![CDATA[y]]></Name

20 ><LabelAbove

21 >False</LabelAbove

22 ><Shape

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

24 ><Info

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

26 ><Node id="N10"

27 ><Position X="9.683750000000002" Y="9.8425"

28 /><Name

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

30 ><LabelAbove

31 >True</LabelAbove

32 ><Shape

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

34 ><Info

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

36 ><Node id="N11"

37 ><Position X="8.307916666666669" Y="11.694583333333334"

38 /><Name

39 ><![CDATA[Node 11]]></Name

40 ><LabelAbove

41 >True</LabelAbove

42 ><Shape

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

44 ><Info

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

46 ><Node id="N12"

47 ><Position X="8.334375000000001" Y="13.520208333333334"

48 /><Name

49 ><![CDATA[Node 12]]></Name

50 ><LabelAbove

51 >True</LabelAbove

52 ><Shape

53 ><![CDATA[variable]]></Shape

54 ><Info

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

56 ><Node id="N13"

57 ><Position X="8.334375000000001" Y="14.763750000000002"

58 /><Name

59 ><![CDATA[Node 13]]></Name

60 ><LabelAbove

61 >True</LabelAbove

62 ><Shape

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

64 ><Info

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

66 ><Node id="N21"

67 ><Position X="6.2441666666666675" Y="8.413750000000004"

68 /><Name

69 ><![CDATA[Node 21]]></Name

70 ><LabelAbove

71 >True</LabelAbove

72 ><Shape

73 ><![CDATA[variable]]></Shape

74 ><Info

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

76 ><Node id="N22"

77 ><Position X="6.376458333333334" Y="1.9579166666666667"

78 /><Name

79 ><![CDATA[Node 22]]></Name

80 ><LabelAbove

81 >True</LabelAbove

82 ><Shape

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

84 ><Info

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

86 ><Node id="N26"

87 ><Position X="5.635625" Y="5.55625"

88 /><Name

89 ><![CDATA[Node 26]]></Name

90 ><LabelAbove

91 >True</LabelAbove

92 ><Shape

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

94 ><Info

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

96 ><Node id="N27"

97 ><Position X="3.307291666666667" Y="5.371041666666667"

98 /><Name

99 ><![CDATA[Node 27]]></Name

100 ><LabelAbove

101 >True</LabelAbove

102 ><Shape

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

104 ><Info

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

106 ><Node id="N28"

107 ><Position X="6.3500000000000005" Y="3.624791666666667"

108 /><Name

109 ><![CDATA[Node 28]]></Name

110 ><LabelAbove

111 >True</LabelAbove

112 ><Shape

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

114 ><Info

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

116 ><Node id="N29"

117 ><Position X="8.307916666666667" Y="6.111875"

118 /><Name

119 ><![CDATA[Node 29]]></Name

120 ><LabelAbove

121 >True</LabelAbove

122 ><Shape

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

124 ><Info

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

126 ><Node id="N30"

127 ><Position X="9.683750000000002" Y="8.149166666666668"

128 /><Name

129 ><![CDATA[Node 30]]></Name

130 ><LabelAbove

131 >True</LabelAbove

132 ><Shape

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

134 ><Info

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

136 ><Edges

137 ><Edge id="E12"

138 ><From

139 >11</From

140 ><PortFrom

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

142 ><To

143 >10</To

144 ><PortTo

145 ><![CDATA[src]]></PortTo

146 ><Via

147 /><Info

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

149 ><Edge id="E14"

150 ><From

151 >11</From

152 ><PortFrom

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

154 ><To

155 >12</To

156 ><PortTo

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

158 ><Via

159 /><Info

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

161 ><Edge id="E15"

162 ><From

163 >12</From

164 ><PortFrom

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

166 ><To

167 >13</To

168 ><PortTo

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

170 ><Via

171 /><Info

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

173 ><Edge id="E20"

174 ><From

175 >5</From

176 ><PortFrom

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

178 ><To

179 >21</To

180 ><PortTo

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

182 ><Via

183 /><Info

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

185 ><Edge id="E21"

186 ><From

187 >4</From

188 ><PortFrom

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

190 ><To

191 >22</To

192 ><PortTo

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

194 ><Via

195 /><Info

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

197 ><Edge id="E28"

198 ><From

199 >26</From

200 ><PortFrom

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

202 ><To

203 >21</To

204 ><PortTo

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

206 ><Via

207 /><Info

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

209 ><Edge id="E29"

210 ><From

211 >26</From

212 ><PortFrom

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

214 ><To

215 >27</To

216 ><PortTo

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

218 ><Via

219 /><Info

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

221 ><Edge id="E30"

222 ><From

223 >29</From

224 ><PortFrom

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

226 ><To

227 >30</To

228 ><PortTo

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

230 ><Via

231 /><Info

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

233 ><Edge id="E33"

234 ><From

235 >28</From

236 ><PortFrom

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

238 ><To

239 >29</To

240 ><PortTo

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

242 ><Via

243 /><Info

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

245 ><Edge id="E34"

246 ><From

247 >22</From

248 ><PortFrom

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

250 ><To

251 >28</To

252 ><PortTo

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

254 ><Via

255 /><Info

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

257 ><Edge id="E35"

258 ><From

259 >28</From

260 ><PortFrom

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

262 ><To

263 >26</To

264 ><PortTo

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

266 ><Via

267 /><Info

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

269 ><Edge id="E36"

270 ><From

271 >29</From

272 ><PortFrom

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

274 ><To

275 >11</To

276 ><PortTo

277 ><![CDATA[fst_target]]></PortTo

278 ><Via

279 /><Info

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

281 ><Edge id="E37"

282 ><From

283 >30</From

284 ><PortFrom

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

286 ><To

287 >10</To

288 ><PortTo

289 ><![CDATA[fst_target]]></PortTo

290 ><Via

291 /><Info

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

293 ><Edge id="E38"

294 ><From

295 >30</From

296 ><PortFrom

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

298 ><To

299 >10</To

300 ><PortTo

301 ><![CDATA[snd_target]]></PortTo

302 ><Via

303 /><Info

304 ><list-int/></Info></Edge></Edges></Network

305 ><Palette

306 ><Symbol

307 ><ShapeName

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

309 ><Shape

310 ><Circle

311 ><ShapeStyle

312 ><int value="2"

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

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

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

316 ><Ports

317 ><Principals

318 ><Port

319 ><string

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

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

322 ><Auxiliaries/></Ports

323 ><Info

324 ><maybe-list-int

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

326 ><Symbol

327 ><ShapeName

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

329 ><Shape

330 ><Composite

331 ><list-Shape

332 ><Circle

333 ><ShapeStyle

334 ><int value="1"

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

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

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

338 ><Lines

339 ><ShapeStyle

340 ><int value="2"

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

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

343 ><list-DoublePoint

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

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

346 ><Lines

347 ><ShapeStyle

348 ><int value="2"

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

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

351 ><list-DoublePoint

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

353 /><Position X="-0.25"

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

355 ><Ports

356 ><Principals

357 ><Port

358 ><string

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

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

361 ><Auxiliaries

362 ><Port

363 ><string

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

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

366 ><Port

367 ><string

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

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

370 ><Info

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

372 ><Symbol

373 ><ShapeName

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

375 ><Shape

376 ><TextInEllipse

377 ><ShapeStyle

378 ><int value="1"

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

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

381 ><string

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

383 ><Ports

384 ><Principals

385 ><Port

386 ><string

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

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

389 ><Auxiliaries

390 ><Port

391 ><string

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

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

394 ><Port

395 ><string

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

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

398 ><Info

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

400 ><Symbol

401 ><ShapeName

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

403 ><Shape

404 ><Composite

405 ><list-Shape

406 ><Circle

407 ><ShapeStyle

408 ><int value="1"

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

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

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

412 ><Lines

413 ><ShapeStyle

414 ><int value="2"

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

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

417 ><list-DoublePoint

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

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

420 ><Lines

421 ><ShapeStyle

422 ><int value="2"

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

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

425 ><list-DoublePoint

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

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

428 ><Lines

429 ><ShapeStyle

430 ><int value="2"

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

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

433 ><list-DoublePoint

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

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

436 /><Position X="0.3"

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

438 ><Ports

439 ><Principals

440 ><Port

441 ><string

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

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

444 ><Auxiliaries

445 ><Port

446 ><string

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

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

449 ><Info

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

451 ><Symbol

452 ><ShapeName

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

454 ><Shape

455 ><Composite

456 ><list-Shape

457 ><Circle

458 ><ShapeStyle

459 ><int value="1"

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

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

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

463 ><Lines

464 ><ShapeStyle

465 ><int value="2"

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

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

468 ><list-DoublePoint

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

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

471 ><Lines

472 ><ShapeStyle

473 ><int value="2"

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

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

476 ><list-DoublePoint

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

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

479 ><Lines

480 ><ShapeStyle

481 ><int value="2"

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

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

484 ><list-DoublePoint

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

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

487 /><Position X="0.3"

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

489 ><Ports

490 ><Principals

491 ><Port

492 ><string

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

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

495 ><Auxiliaries

496 ><Port

497 ><string

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

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

500 ><Info

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

502 ><Symbol

503 ><ShapeName

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

505 ><Shape

506 ><TextInEllipse

507 ><ShapeStyle

508 ><int value="1"

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

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

511 ><string

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

513 ><Ports

514 ><Principals

515 ><Port

516 ><string

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

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

519 ><Auxiliaries

520 ><Port

521 ><string

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

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

524 ><Port

525 ><string

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

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

528 ><Info

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

530 ><Symbol

531 ><ShapeName

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

533 ><Shape

534 ><TextInEllipse

535 ><ShapeStyle

536 ><int value="1"

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

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

539 ><string

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

541 ><Ports

542 ><Principals

543 ><Port

544 ><string

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

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

547 ><Auxiliaries

548 ><Port

549 ><string

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

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

552 ><Port

553 ><string

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

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

556 ><Info

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

558 ><Symbol

559 ><ShapeName

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

561 ><Shape

562 ><Composite

563 ><list-Shape

564 ><Circle

565 ><ShapeStyle

566 ><int value="2"

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

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

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

570 ><Arc

571 ><ShapeStyle

572 ><int value="2"

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

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

575 ><double value="0.2"

576 /><double value="70.0"

577 /><double value="270.0"

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

579 ><Arc

580 ><ShapeStyle

581 ><int value="2"

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

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

584 ><double value="0.2"

585 /><double value="150.0"

586 /><double value="90.0"

587 /><Position X="0.0"

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

589 ><Ports

590 ><Principals

591 ><Port

592 ><string

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

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

595 ><Auxiliaries

596 ><Port

597 ><string

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

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

600 ><Port

601 ><string

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

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

604 ><Info

605 ><maybe-list-int

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

607 ><Symbol

608 ><ShapeName

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

610 ><Shape

611 ><Composite

612 ><list-Shape

613 ><Circle

614 ><ShapeStyle

615 ><int value="2"

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

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

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

619 ><Arc

620 ><ShapeStyle

621 ><int value="2"

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

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

624 ><double value="0.2"

625 /><double value="90.0"

626 /><double value="270.0"

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

628 ><Arc

629 ><ShapeStyle

630 ><int value="2"

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

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

633 ><double value="0.2"

634 /><double value="90.0"

635 /><double value="270.0"

636 /><Position X="0.0"

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

638 ><Ports

639 ><Principals

640 ><Port

641 ><string

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

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

644 ><Auxiliaries/></Ports

645 ><Info

646 ><maybe-list-int

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

648 ><Symbol

649 ><ShapeName

650 ><![CDATA[variable]]></ShapeName

651 ><Shape

652 ><TextInEllipse

653 ><ShapeStyle

654 ><int value="1"

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

656 /><RGB R="200" G="255" B="255"/></ShapeStyle

657 ><string

658 ><![CDATA[v]]></string></TextInEllipse></Shape

659 ><Ports

660 ><Principals

661 ><Port

662 ><string

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

664 ><Position X="0.0" Y="-0.4"/></Port></Principals

665 ><Auxiliaries

666 ><Port

667 ><string

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

669 ><Position X="0.0" Y="0.35"/></Port></Auxiliaries></Ports

670 ><Info

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

672 ><Symbol

673 ><ShapeName

674 ><![CDATA[evalReturn0]]></ShapeName

675 ><Shape

676 ><Composite

677 ><list-Shape

678 ><Circle

679 ><ShapeStyle

680 ><int value="1"

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

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

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

684 ><Lines

685 ><ShapeStyle

686 ><int value="2"

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

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

689 ><list-DoublePoint

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

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

692 ><Lines

693 ><ShapeStyle

694 ><int value="2"

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

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

697 ><list-DoublePoint

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

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

700 ><Lines

701 ><ShapeStyle

702 ><int value="2"

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

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

705 ><list-DoublePoint

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

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

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

709 ><Arc

710 ><ShapeStyle

711 ><int value="2"

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

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

714 ><double value="0.13"

715 /><double value="0.0"

716 /><double value="360.0"

717 /><Position X="0.0"

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

719 ><Ports

720 ><Principals

721 ><Port

722 ><string

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

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

725 ><Auxiliaries

726 ><Port

727 ><string

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

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

730 ><Info

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

732 ><Symbol

733 ><ShapeName

734 ><![CDATA[application']]></ShapeName

735 ><Shape

736 ><TextInEllipse

737 ><ShapeStyle

738 ><int value="1"

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

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

741 ><string

742 ><![CDATA[@']]></string></TextInEllipse></Shape

743 ><Ports

744 ><Principals

745 ><Port

746 ><string

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

748 ><Position X="0.3" Y="0.3"/></Port></Principals

749 ><Auxiliaries

750 ><Port

751 ><string

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

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

754 ><Port

755 ><string

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

757 ><Position X="0.0" Y="-0.35"/></Port></Auxiliaries></Ports

758 ><Info

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

760 ><Rules

761 ><INRule

762 ><Name

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

764 ><LHS

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

766 ><Info

767 ><unit/></Info

768 ><Nodes

769 ><Node id="N1"

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

771 /><Name

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

773 ><LabelAbove

774 >True</LabelAbove

775 ><Shape

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

777 ><Info

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

779 ><Node id="N2"

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

781 /><Name

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

783 ><LabelAbove

784 >True</LabelAbove

785 ><Shape

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

787 ><Info

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

789 ><Node id="N3"

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

791 /><Name

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

793 ><LabelAbove

794 >True</LabelAbove

795 ><Shape

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

797 ><Info

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

799 ><Node id="N4"

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

801 /><Name

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

803 ><LabelAbove

804 >True</LabelAbove

805 ><Shape

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

807 ><Info

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

809 ><Node id="N5"

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

811 /><Name

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

813 ><LabelAbove

814 >True</LabelAbove

815 ><Shape

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

817 ><Info

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

819 ><Edges

820 ><Edge id="E1"

821 ><From

822 >1</From

823 ><PortFrom

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

825 ><To

826 >2</To

827 ><PortTo

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

829 ><Via

830 /><Info

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

832 ><Edge id="E2"

833 ><From

834 >1</From

835 ><PortFrom

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

837 ><To

838 >3</To

839 ><PortTo

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

841 ><Via

842 /><Info

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

844 ><Edge id="E3"

845 ><From

846 >2</From

847 ><PortFrom

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

849 ><To

850 >5</To

851 ><PortTo

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

853 ><Via

854 /><Info

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

856 ><Edge id="E4"

857 ><From

858 >2</From

859 ><PortFrom

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

861 ><To

862 >4</To

863 ><PortTo

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

865 ><Via

866 /><Info

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

868 ><RHS

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

870 ><Info

871 ><unit/></Info

872 ><Nodes

873 ><Node id="N3"

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

875 /><Name

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

877 ><LabelAbove

878 >True</LabelAbove

879 ><Shape

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

881 ><Info

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

883 ><Node id="N4"

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

885 /><Name

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

887 ><LabelAbove

888 >True</LabelAbove

889 ><Shape

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

891 ><Info

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

893 ><Node id="N5"

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

895 /><Name

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

897 ><LabelAbove

898 >True</LabelAbove

899 ><Shape

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

901 ><Info

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

903 ><Node id="N6"

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

905 /><Name

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

907 ><LabelAbove

908 >True</LabelAbove

909 ><Shape

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

911 ><Info

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

913 ><Node id="N7"

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

915 /><Name

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

917 ><LabelAbove

918 >True</LabelAbove

919 ><Shape

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

921 ><Info

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

923 ><Edges

924 ><Edge id="E1"

925 ><From

926 >6</From

927 ><PortFrom

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

929 ><To

930 >5</To

931 ><PortTo

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

933 ><Via

934 /><Info

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

936 ><Edge id="E2"

937 ><From

938 >6</From

939 ><PortFrom

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

941 ><To

942 >4</To

943 ><PortTo

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

945 ><Via

946 /><Info

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

948 ><Edge id="E3"

949 ><From

950 >3</From

951 ><PortFrom

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

953 ><To

954 >7</To

955 ><PortTo

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

957 ><Via

958 /><Info

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

960 ><Edge id="E4"

961 ><From

962 >7</From

963 ><PortFrom

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

965 ><To

966 >6</To

967 ><PortTo

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

969 ><Via

970 /><Info

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

972 ><Mapping

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

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

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

976 ><INRule

977 ><Name

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

979 ><LHS

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

981 ><Info

982 ><unit/></Info

983 ><Nodes

984 ><Node id="N1"

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

986 /><Name

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

988 ><LabelAbove

989 >True</LabelAbove

990 ><Shape

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

992 ><Info

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

994 ><Node id="N2"

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

996 /><Name

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

998 ><LabelAbove

999 >True</LabelAbove

1000 ><Shape

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

1002 ><Info

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

1004 ><Node id="N3"

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

1006 /><Name

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

1008 ><LabelAbove

1009 >True</LabelAbove

1010 ><Shape

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

1012 ><Info

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

1014 ><Node id="N4"

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

1016 /><Name

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

1018 ><LabelAbove

1019 >True</LabelAbove

1020 ><Shape

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

1022 ><Info

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

1024 ><Node id="N5"

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

1026 /><Name

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

1028 ><LabelAbove

1029 >True</LabelAbove

1030 ><Shape

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

1032 ><Info

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

1034 ><Edges

1035 ><Edge id="E1"

1036 ><From

1037 >1</From

1038 ><PortFrom

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

1040 ><To

1041 >2</To

1042 ><PortTo

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

1044 ><Via

1045 /><Info

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

1047 ><Edge id="E2"

1048 ><From

1049 >1</From

1050 ><PortFrom

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

1052 ><To

1053 >3</To

1054 ><PortTo

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

1056 ><Via

1057 /><Info

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

1059 ><Edge id="E3"

1060 ><From

1061 >2</From

1062 ><PortFrom

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

1064 ><To

1065 >5</To

1066 ><PortTo

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

1068 ><Via

1069 /><Info

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

1071 ><Edge id="E4"

1072 ><From

1073 >2</From

1074 ><PortFrom

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

1076 ><To

1077 >4</To

1078 ><PortTo

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

1080 ><Via

1081 /><Info

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

1083 ><RHS

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

1085 ><Info

1086 ><unit/></Info

1087 ><Nodes

1088 ><Node id="N3"

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

1090 /><Name

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

1092 ><LabelAbove

1093 >True</LabelAbove

1094 ><Shape

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

1096 ><Info

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

1098 ><Node id="N4"

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

1100 /><Name

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

1102 ><LabelAbove

1103 >True</LabelAbove

1104 ><Shape

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

1106 ><Info

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

1108 ><Node id="N5"

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

1110 /><Name

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

1112 ><LabelAbove

1113 >True</LabelAbove

1114 ><Shape

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

1116 ><Info

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

1118 ><Node id="N6"

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

1120 /><Name

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

1122 ><LabelAbove

1123 >True</LabelAbove

1124 ><Shape

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

1126 ><Info

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

1128 ><Node id="N7"

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

1130 /><Name

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

1132 ><LabelAbove

1133 >True</LabelAbove

1134 ><Shape

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

1136 ><Info

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

1138 ><Edges

1139 ><Edge id="E1"

1140 ><From

1141 >3</From

1142 ><PortFrom

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

1144 ><To

1145 >6</To

1146 ><PortTo

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

1148 ><Via

1149 /><Info

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

1151 ><Edge id="E2"

1152 ><From

1153 >6</From

1154 ><PortFrom

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

1156 ><To

1157 >7</To

1158 ><PortTo

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

1160 ><Via

1161 /><Info

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

1163 ><Edge id="E3"

1164 ><From

1165 >7</From

1166 ><PortFrom

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

1168 ><To

1169 >5</To

1170 ><PortTo

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

1172 ><Via

1173 /><Info

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

1175 ><Edge id="E4"

1176 ><From

1177 >6</From

1178 ><PortFrom

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

1180 ><To

1181 >4</To

1182 ><PortTo

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

1184 ><Via

1185 /><Info

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

1187 ><Mapping

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

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

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

1191 ><INRule

1192 ><Name

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

1194 ><LHS

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

1196 ><Info

1197 ><unit/></Info

1198 ><Nodes

1199 ><Node id="N1"

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

1201 /><Name

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

1203 ><LabelAbove

1204 >True</LabelAbove

1205 ><Shape

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

1207 ><Info

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

1209 ><Node id="N2"

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

1211 /><Name

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

1213 ><LabelAbove

1214 >True</LabelAbove

1215 ><Shape

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

1217 ><Info

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

1219 ><Node id="N3"

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

1221 /><Name

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

1223 ><LabelAbove

1224 >True</LabelAbove

1225 ><Shape

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

1227 ><Info

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

1229 ><Node id="N4"

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

1231 /><Name

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

1233 ><LabelAbove

1234 >True</LabelAbove

1235 ><Shape

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

1237 ><Info

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

1239 ><Node id="N5"

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

1241 /><Name

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

1243 ><LabelAbove

1244 >True</LabelAbove

1245 ><Shape

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

1247 ><Info

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

1249 ><Edges

1250 ><Edge id="E1"

1251 ><From

1252 >1</From

1253 ><PortFrom

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

1255 ><To

1256 >2</To

1257 ><PortTo

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

1259 ><Via

1260 /><Info

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

1262 ><Edge id="E2"

1263 ><From

1264 >1</From

1265 ><PortFrom

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

1267 ><To

1268 >4</To

1269 ><PortTo

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

1271 ><Via

1272 /><Info

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

1274 ><Edge id="E3"

1275 ><From

1276 >1</From

1277 ><PortFrom

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

1279 ><To

1280 >3</To

1281 ><PortTo

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

1283 ><Via

1284 /><Info

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

1286 ><Edge id="E4"

1287 ><From

1288 >2</From

1289 ><PortFrom

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

1291 ><To

1292 >5</To

1293 ><PortTo

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

1295 ><Via

1296 /><Info

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

1298 ><RHS

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

1300 ><Info

1301 ><unit/></Info

1302 ><Nodes

1303 ><Node id="N3"

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

1305 /><Name

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

1307 ><LabelAbove

1308 >True</LabelAbove

1309 ><Shape

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

1311 ><Info

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

1313 ><Node id="N4"

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

1315 /><Name

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

1317 ><LabelAbove

1318 >True</LabelAbove

1319 ><Shape

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

1321 ><Info

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

1323 ><Node id="N5"

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

1325 /><Name

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

1327 ><LabelAbove

1328 >True</LabelAbove

1329 ><Shape

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

1331 ><Info

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

1333 ><Node id="N6"

1334 ><Position X="2.3283333333333336" Y="2.460625"

1335 /><Name

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

1337 ><LabelAbove

1338 >True</LabelAbove

1339 ><Shape

1340 ><![CDATA[application']]></Shape

1341 ><Info

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

1343 ><Node id="N7"

1344 ><Position X="3.783541666666667" Y="3.8893750000000002"

1345 /><Name

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

1347 ><LabelAbove

1348 >True</LabelAbove

1349 ><Shape

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

1351 ><Info

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

1353 ><Edges

1354 ><Edge id="E1"

1355 ><From

1356 >4</From

1357 ><PortFrom

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

1359 ><To

1360 >7</To

1361 ><PortTo

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

1363 ><Via

1364 /><Info

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

1366 ><Edge id="E2"

1367 ><From

1368 >5</From

1369 ><PortFrom

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

1371 ><To

1372 >6</To

1373 ><PortTo

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

1375 ><Via

1376 /><Info

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

1378 ><Edge id="E3"

1379 ><From

1380 >6</From

1381 ><PortFrom

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

1383 ><To

1384 >7</To

1385 ><PortTo

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

1387 ><Via

1388 /><Info

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

1390 ><Edge id="E4"

1391 ><From

1392 >3</From

1393 ><PortFrom

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

1395 ><To

1396 >6</To

1397 ><PortTo

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

1399 ><Via

1400 /><Info

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

1402 ><Mapping

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

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

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

1406 ><INRule

1407 ><Name

1408 ><![CDATA[afterEvaluatingRightSideOfApplication]]></Name

1409 ><LHS

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

1411 ><Info

1412 ><unit/></Info

1413 ><Nodes

1414 ><Node id="N1"

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

1416 /><Name

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

1418 ><LabelAbove

1419 >True</LabelAbove

1420 ><Shape

1421 ><![CDATA[application']]></Shape

1422 ><Info

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

1424 ><Node id="N2"

1425 ><Position X="2.79375" Y="3.708958333333333"

1426 /><Name

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

1428 ><LabelAbove

1429 >True</LabelAbove

1430 ><Shape

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

1432 ><Info

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

1434 ><Node id="N3"

1435 ><Position X="0.7645833333333334" Y="5.367708333333334"

1436 /><Name

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

1438 ><LabelAbove

1439 >True</LabelAbove

1440 ><Shape

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

1442 ><Info

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

1444 ><Node id="N4"

1445 ><Position X="2.0081249999999997" Y="0.4735416666666667"

1446 /><Name

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

1448 ><LabelAbove

1449 >True</LabelAbove

1450 ><Shape

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

1452 ><Info

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

1454 ><Node id="N5"

1455 ><Position X="2.7964583333333333" Y="5.34125"

1456 /><Name

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

1458 ><LabelAbove

1459 >True</LabelAbove

1460 ><Shape

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

1462 ><Info

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

1464 ><Edges

1465 ><Edge id="E1"

1466 ><From

1467 >1</From

1468 ><PortFrom

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

1470 ><To

1471 >2</To

1472 ><PortTo

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

1474 ><Via

1475 /><Info

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

1477 ><Edge id="E2"

1478 ><From

1479 >1</From

1480 ><PortFrom

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

1482 ><To

1483 >4</To

1484 ><PortTo

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

1486 ><Via

1487 /><Info

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

1489 ><Edge id="E3"

1490 ><From

1491 >1</From

1492 ><PortFrom

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

1494 ><To

1495 >3</To

1496 ><PortTo

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

1498 ><Via

1499 /><Info

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

1501 ><Edge id="E4"

1502 ><From

1503 >2</From

1504 ><PortFrom

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

1506 ><To

1507 >5</To

1508 ><PortTo

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

1510 ><Via

1511 /><Info

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

1513 ><RHS

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

1515 ><Info

1516 ><unit/></Info

1517 ><Nodes

1518 ><Node id="N3"

1519 ><Position X="0.7645833333333334" Y="5.367708333333334"

1520 /><Name

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

1522 ><LabelAbove

1523 >True</LabelAbove

1524 ><Shape

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

1526 ><Info

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

1528 ><Node id="N4"

1529 ><Position X="2.0081249999999997" Y="0.4735416666666667"

1530 /><Name

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

1532 ><LabelAbove

1533 >True</LabelAbove

1534 ><Shape

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

1536 ><Info

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

1538 ><Node id="N5"

1539 ><Position X="2.7964583333333333" Y="5.34125"

1540 /><Name

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

1542 ><LabelAbove

1543 >True</LabelAbove

1544 ><Shape

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

1546 ><Info

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

1548 ><Node id="N6"

1549 ><Position X="1.9843750000000004" Y="2.5664583333333337"

1550 /><Name

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

1552 ><LabelAbove

1553 >True</LabelAbove

1554 ><Shape

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

1556 ><Info

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

1558 ><Edges

1559 ><Edge id="E1"

1560 ><From

1561 >4</From

1562 ><PortFrom

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

1564 ><To

1565 >6</To

1566 ><PortTo

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

1568 ><Via

1569 /><Info

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

1571 ><Edge id="E2"

1572 ><From

1573 >6</From

1574 ><PortFrom

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

1576 ><To

1577 >3</To

1578 ><PortTo

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

1580 ><Via

1581 /><Info

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

1583 ><Edge id="E3"

1584 ><From

1585 >6</From

1586 ><PortFrom

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

1588 ><To

1589 >5</To

1590 ><PortTo

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

1592 ><Via

1593 /><Info

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

1595 ><Mapping

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

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

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

1599 ><INRule

1600 ><Name

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

1602 ><LHS

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

1604 ><Info

1605 ><unit/></Info

1606 ><Nodes

1607 ><Node id="N1"

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

1609 /><Name

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

1611 ><LabelAbove

1612 >True</LabelAbove

1613 ><Shape

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

1615 ><Info

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

1617 ><Node id="N2"

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

1619 /><Name

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

1621 ><LabelAbove

1622 >True</LabelAbove

1623 ><Shape

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

1625 ><Info

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

1627 ><Node id="N3"

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

1629 /><Name

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

1631 ><LabelAbove

1632 >True</LabelAbove

1633 ><Shape

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

1635 ><Info

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

1637 ><Node id="N4"

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

1639 /><Name

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

1641 ><LabelAbove

1642 >True</LabelAbove

1643 ><Shape

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

1645 ><Info

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

1647 ><Node id="N5"

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

1649 /><Name

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

1651 ><LabelAbove

1652 >True</LabelAbove

1653 ><Shape

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

1655 ><Info

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

1657 ><Node id="N6"

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

1659 /><Name

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

1661 ><LabelAbove

1662 >True</LabelAbove

1663 ><Shape

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

1665 ><Info

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

1667 ><Edges

1668 ><Edge id="E1"

1669 ><From

1670 >1</From

1671 ><PortFrom

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

1673 ><To

1674 >2</To

1675 ><PortTo

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

1677 ><Via

1678 /><Info

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

1680 ><Edge id="E2"

1681 ><From

1682 >1</From

1683 ><PortFrom

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

1685 ><To

1686 >4</To

1687 ><PortTo

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

1689 ><Via

1690 /><Info

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

1692 ><Edge id="E3"

1693 ><From

1694 >1</From

1695 ><PortFrom

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

1697 ><To

1698 >3</To

1699 ><PortTo

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

1701 ><Via

1702 /><Info

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

1704 ><Edge id="E4"

1705 ><From

1706 >2</From

1707 ><PortFrom

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

1709 ><To

1710 >6</To

1711 ><PortTo

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

1713 ><Via

1714 /><Info

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

1716 ><Edge id="E5"

1717 ><From

1718 >2</From

1719 ><PortFrom

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

1721 ><To

1722 >5</To

1723 ><PortTo

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

1725 ><Via

1726 /><Info

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

1728 ><RHS

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

1730 ><Info

1731 ><unit/></Info

1732 ><Nodes

1733 ><Node id="N3"

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

1735 /><Name

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

1737 ><LabelAbove

1738 >True</LabelAbove

1739 ><Shape

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

1741 ><Info

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

1743 ><Node id="N4"

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

1745 /><Name

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

1747 ><LabelAbove

1748 >True</LabelAbove

1749 ><Shape

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

1751 ><Info

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

1753 ><Node id="N5"

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

1755 /><Name

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

1757 ><LabelAbove

1758 >True</LabelAbove

1759 ><Shape

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

1761 ><Info

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

1763 ><Node id="N6"

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

1765 /><Name

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

1767 ><LabelAbove

1768 >True</LabelAbove

1769 ><Shape

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

1771 ><Info

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

1773 ><Node id="N7"

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

1775 /><Name

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

1777 ><LabelAbove

1778 >True</LabelAbove

1779 ><Shape

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

1781 ><Info

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

1783 ><Edges

1784 ><Edge id="E1"

1785 ><From

1786 >3</From

1787 ><PortFrom

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

1789 ><To

1790 >7</To

1791 ><PortTo

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

1793 ><Via

1794 /><Info

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

1796 ><Edge id="E2"

1797 ><From

1798 >5</From

1799 ><PortFrom

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

1801 ><To

1802 >7</To

1803 ><PortTo

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

1805 ><Via

1806 /><Info

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

1808 ><Edge id="E3"

1809 ><From

1810 >6</From

1811 ><PortFrom

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

1813 ><To

1814 >4</To

1815 ><PortTo

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

1817 ><Via

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

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

1820 ><Info

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

1822 ><Mapping

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

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

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

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

1827 ><INRule

1828 ><Name

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

1830 ><LHS

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

1832 ><Info

1833 ><unit/></Info

1834 ><Nodes

1835 ><Node id="N1"

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

1837 /><Name

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

1839 ><LabelAbove

1840 >True</LabelAbove

1841 ><Shape

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

1843 ><Info

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

1845 ><Node id="N2"

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

1847 /><Name

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

1849 ><LabelAbove

1850 >True</LabelAbove

1851 ><Shape

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

1853 ><Info

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

1855 ><Node id="N3"

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

1857 /><Name

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

1859 ><LabelAbove

1860 >True</LabelAbove

1861 ><Shape

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

1863 ><Info

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

1865 ><Node id="N4"

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

1867 /><Name

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

1869 ><LabelAbove

1870 >True</LabelAbove

1871 ><Shape

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

1873 ><Info

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

1875 ><Node id="N5"

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

1877 /><Name

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

1879 ><LabelAbove

1880 >True</LabelAbove

1881 ><Shape

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

1883 ><Info

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

1885 ><Node id="N6"

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

1887 /><Name

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

1889 ><LabelAbove

1890 >True</LabelAbove

1891 ><Shape

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

1893 ><Info

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

1895 ><Edges

1896 ><Edge id="E1"

1897 ><From

1898 >1</From

1899 ><PortFrom

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

1901 ><To

1902 >2</To

1903 ><PortTo

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

1905 ><Via

1906 /><Info

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

1908 ><Edge id="E2"

1909 ><From

1910 >1</From

1911 ><PortFrom

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

1913 ><To

1914 >4</To

1915 ><PortTo

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

1917 ><Via

1918 /><Info

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

1920 ><Edge id="E3"

1921 ><From

1922 >1</From

1923 ><PortFrom

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

1925 ><To

1926 >3</To

1927 ><PortTo

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

1929 ><Via

1930 /><Info

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

1932 ><Edge id="E4"

1933 ><From

1934 >2</From

1935 ><PortFrom

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

1937 ><To

1938 >6</To

1939 ><PortTo

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

1941 ><Via

1942 /><Info

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

1944 ><Edge id="E5"

1945 ><From

1946 >2</From

1947 ><PortFrom

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

1949 ><To

1950 >5</To

1951 ><PortTo

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

1953 ><Via

1954 /><Info

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

1956 ><RHS

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

1958 ><Info

1959 ><unit/></Info

1960 ><Nodes

1961 ><Node id="N3"

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

1963 /><Name

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

1965 ><LabelAbove

1966 >True</LabelAbove

1967 ><Shape

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

1969 ><Info

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

1971 ><Node id="N4"

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

1973 /><Name

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

1975 ><LabelAbove

1976 >True</LabelAbove

1977 ><Shape

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

1979 ><Info

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

1981 ><Node id="N5"

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

1983 /><Name

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

1985 ><LabelAbove

1986 >True</LabelAbove

1987 ><Shape

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

1989 ><Info

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

1991 ><Node id="N6"

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

1993 /><Name

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

1995 ><LabelAbove

1996 >True</LabelAbove

1997 ><Shape

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

1999 ><Info

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

2001 ><Node id="N7"

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

2003 /><Name

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

2005 ><LabelAbove

2006 >True</LabelAbove

2007 ><Shape

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

2009 ><Info

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

2011 ><Node id="N8"

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

2013 /><Name

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

2015 ><LabelAbove

2016 >True</LabelAbove

2017 ><Shape

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

2019 ><Info

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

2021 ><Node id="N9"

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

2023 /><Name

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

2025 ><LabelAbove

2026 >True</LabelAbove

2027 ><Shape

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

2029 ><Info

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

2031 ><Node id="N10"

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

2033 /><Name

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

2035 ><LabelAbove

2036 >True</LabelAbove

2037 ><Shape

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

2039 ><Info

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

2041 ><Edges

2042 ><Edge id="E1"

2043 ><From

2044 >3</From

2045 ><PortFrom

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

2047 ><To

2048 >7</To

2049 ><PortTo

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

2051 ><Via

2052 /><Info

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

2054 ><Edge id="E2"

2055 ><From

2056 >4</From

2057 ><PortFrom

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

2059 ><To

2060 >8</To

2061 ><PortTo

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

2063 ><Via

2064 /><Info

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

2066 ><Edge id="E3"

2067 ><From

2068 >10</From

2069 ><PortFrom

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

2071 ><To

2072 >5</To

2073 ><PortTo

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

2075 ><Via

2076 /><Info

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

2078 ><Edge id="E4"

2079 ><From

2080 >9</From

2081 ><PortFrom

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

2083 ><To

2084 >6</To

2085 ><PortTo

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

2087 ><Via

2088 /><Info

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

2090 ><Edge id="E5"

2091 ><From

2092 >7</From

2093 ><PortFrom

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

2095 ><To

2096 >10</To

2097 ><PortTo

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

2099 ><Via

2100 /><Info

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

2102 ><Edge id="E6"

2103 ><From

2104 >8</From

2105 ><PortFrom

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

2107 ><To

2108 >10</To

2109 ><PortTo

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

2111 ><Via

2112 /><Info

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

2114 ><Edge id="E7"

2115 ><From

2116 >7</From

2117 ><PortFrom

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

2119 ><To

2120 >9</To

2121 ><PortTo

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

2123 ><Via

2124 /><Info

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

2126 ><Edge id="E8"

2127 ><From

2128 >9</From

2129 ><PortFrom

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

2131 ><To

2132 >8</To

2133 ><PortTo

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

2135 ><Via

2136 /><Info

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

2138 ><Mapping

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

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

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

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

2143 ><INRule

2144 ><Name

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

2146 ><LHS

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

2148 ><Info

2149 ><unit/></Info

2150 ><Nodes

2151 ><Node id="N1"

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

2153 /><Name

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

2155 ><LabelAbove

2156 >True</LabelAbove

2157 ><Shape

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

2159 ><Info

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

2161 ><Node id="N2"

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

2163 /><Name

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

2165 ><LabelAbove

2166 >True</LabelAbove

2167 ><Shape

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

2169 ><Info

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

2171 ><Node id="N3"

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

2173 /><Name

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

2175 ><LabelAbove

2176 >True</LabelAbove

2177 ><Shape

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

2179 ><Info

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

2181 ><Node id="N4"

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

2183 /><Name

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

2185 ><LabelAbove

2186 >True</LabelAbove

2187 ><Shape

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

2189 ><Info

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

2191 ><Node id="N5"

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

2193 /><Name

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

2195 ><LabelAbove

2196 >True</LabelAbove

2197 ><Shape

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

2199 ><Info

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

2201 ><Node id="N6"

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

2203 /><Name

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

2205 ><LabelAbove

2206 >True</LabelAbove

2207 ><Shape

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

2209 ><Info

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

2211 ><Edges

2212 ><Edge id="E1"

2213 ><From

2214 >1</From

2215 ><PortFrom

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

2217 ><To

2218 >2</To

2219 ><PortTo

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

2221 ><Via

2222 /><Info

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

2224 ><Edge id="E2"

2225 ><From

2226 >1</From

2227 ><PortFrom

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

2229 ><To

2230 >4</To

2231 ><PortTo

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

2233 ><Via

2234 /><Info

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

2236 ><Edge id="E3"

2237 ><From

2238 >1</From

2239 ><PortFrom

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

2241 ><To

2242 >3</To

2243 ><PortTo

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

2245 ><Via

2246 /><Info

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

2248 ><Edge id="E4"

2249 ><From

2250 >2</From

2251 ><PortFrom

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

2253 ><To

2254 >6</To

2255 ><PortTo

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

2257 ><Via

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

2259 ><Info

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

2261 ><Edge id="E5"

2262 ><From

2263 >2</From

2264 ><PortFrom

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

2266 ><To

2267 >5</To

2268 ><PortTo

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

2270 ><Via

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

2272 ><Info

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

2274 ><RHS

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

2276 ><Info

2277 ><unit/></Info

2278 ><Nodes

2279 ><Node id="N3"

2280 ><Position X="1.531875" Y="0.5"

2281 /><Name

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

2283 ><LabelAbove

2284 >True</LabelAbove

2285 ><Shape

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

2287 ><Info

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

2289 ><Node id="N4"

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

2291 /><Name

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

2293 ><LabelAbove

2294 >True</LabelAbove

2295 ><Shape

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

2297 ><Info

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

2299 ><Node id="N5"

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

2301 /><Name

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

2303 ><LabelAbove

2304 >True</LabelAbove

2305 ><Shape

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

2307 ><Info

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

2309 ><Node id="N6"

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

2311 /><Name

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

2313 ><LabelAbove

2314 >True</LabelAbove

2315 ><Shape

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

2317 ><Info

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

2319 ><Edges

2320 ><Edge id="E1"

2321 ><From

2322 >3</From

2323 ><PortFrom

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

2325 ><To

2326 >5</To

2327 ><PortTo

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

2329 ><Via

2330 /><Info

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

2332 ><Edge id="E2"

2333 ><From

2334 >4</From

2335 ><PortFrom

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

2337 ><To

2338 >6</To

2339 ><PortTo

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

2341 ><Via

2342 /><Info

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

2344 ><Mapping

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

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

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

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

2349 ><INRule

2350 ><Name

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

2352 ><LHS

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

2354 ><Info

2355 ><unit/></Info

2356 ><Nodes

2357 ><Node id="N1"

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

2359 /><Name

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

2361 ><LabelAbove

2362 >True</LabelAbove

2363 ><Shape

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

2365 ><Info

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

2367 ><Node id="N2"

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

2369 /><Name

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

2371 ><LabelAbove

2372 >True</LabelAbove

2373 ><Shape

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

2375 ><Info

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

2377 ><Node id="N3"

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

2379 /><Name

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

2381 ><LabelAbove

2382 >True</LabelAbove

2383 ><Shape

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

2385 ><Info

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

2387 ><Node id="N4"

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

2389 /><Name

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

2391 ><LabelAbove

2392 >True</LabelAbove

2393 ><Shape

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

2395 ><Info

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

2397 ><Edges

2398 ><Edge id="E1"

2399 ><From

2400 >1</From

2401 ><PortFrom

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

2403 ><To

2404 >2</To

2405 ><PortTo

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

2407 ><Via

2408 /><Info

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

2410 ><Edge id="E2"

2411 ><From

2412 >2</From

2413 ><PortFrom

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

2415 ><To

2416 >4</To

2417 ><PortTo

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

2419 ><Via

2420 /><Info

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

2422 ><Edge id="E3"

2423 ><From

2424 >2</From

2425 ><PortFrom

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

2427 ><To

2428 >3</To

2429 ><PortTo

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

2431 ><Via

2432 /><Info

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

2434 ><RHS

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

2436 ><Info

2437 ><unit/></Info

2438 ><Nodes

2439 ><Node id="N3"

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

2441 /><Name

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

2443 ><LabelAbove

2444 >True</LabelAbove

2445 ><Shape

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

2447 ><Info

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

2449 ><Node id="N4"

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

2451 /><Name

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

2453 ><LabelAbove

2454 >True</LabelAbove

2455 ><Shape

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

2457 ><Info

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

2459 ><Node id="N5"

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

2461 /><Name

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

2463 ><LabelAbove

2464 >True</LabelAbove

2465 ><Shape

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

2467 ><Info

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

2469 ><Node id="N6"

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

2471 /><Name

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

2473 ><LabelAbove

2474 >True</LabelAbove

2475 ><Shape

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

2477 ><Info

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

2479 ><Edges

2480 ><Edge id="E1"

2481 ><From

2482 >5</From

2483 ><PortFrom

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

2485 ><To

2486 >4</To

2487 ><PortTo

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

2489 ><Via

2490 /><Info

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

2492 ><Edge id="E2"

2493 ><From

2494 >6</From

2495 ><PortFrom

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

2497 ><To

2498 >3</To

2499 ><PortTo

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

2501 ><Via

2502 /><Info

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

2504 ><Mapping

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

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

2507 ><INRule

2508 ><Name

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

2510 ><LHS

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

2512 ><Info

2513 ><unit/></Info

2514 ><Nodes

2515 ><Node id="N1"

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

2517 /><Name

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

2519 ><LabelAbove

2520 >True</LabelAbove

2521 ><Shape

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

2523 ><Info

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

2525 ><Node id="N2"

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

2527 /><Name

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

2529 ><LabelAbove

2530 >True</LabelAbove

2531 ><Shape

2532 ><![CDATA[application]]></Shape

2533 ><Info

2534 ><list-int/></Info></Node

2535 ><Node id="N3"

2536 ><Position X="4.3100000000000005" Y="0.7381249999999997"

2537 /><Name

2538 ><![CDATA[Node 3]]></Name

2539 ><LabelAbove

2540 >True</LabelAbove

2541 ><Shape

2542 ><![CDATA[interface]]></Shape

2543 ><Info

2544 ><list-int/></Info></Node

2545 ><Node id="N4"

2546 ><Position X="4.601041666666666" Y="4.653333333333333"

2547 /><Name

2548 ><![CDATA[Node 4]]></Name

2549 ><LabelAbove

2550 >True</LabelAbove

2551 ><Shape

2552 ><![CDATA[interface]]></Shape

2553 ><Info

2554 ><list-int/></Info></Node></Nodes

2555 ><Edges

2556 ><Edge id="E1"

2557 ><From

2558 >1</From

2559 ><PortFrom

2560 ><![CDATA[down]]></PortFrom

2561 ><To

2562 >2</To

2563 ><PortTo

2564 ><![CDATA[func]]></PortTo

2565 ><Via

2566 /><Info

2567 ><list-int/></Info></Edge

2568 ><Edge id="E2"

2569 ><From

2570 >2</From

2571 ><PortFrom

2572 ><![CDATA[arg]]></PortFrom

2573 ><To

2574 >4</To

2575 ><PortTo

2576 ><![CDATA[interface]]></PortTo

2577 ><Via

2578 /><Info

2579 ><list-int/></Info></Edge

2580 ><Edge id="E3"

2581 ><From

2582 >2</From

2583 ><PortFrom

2584 ><![CDATA[res]]></PortFrom

2585 ><To

2586 >3</To

2587 ><PortTo

2588 ><![CDATA[interface]]></PortTo

2589 ><Via

2590 /><Info

2591 ><list-int/></Info></Edge></Edges></Network></LHS

2592 ><RHS

2593 ><Network Width="15.0" Height="9.0"

2594 ><Info

2595 ><unit/></Info

2596 ><Nodes

2597 ><Node id="N3"

2598 ><Position X="4.3100000000000005" Y="0.7381249999999997"

2599 /><Name

2600 ><![CDATA[Node 3]]></Name

2601 ><LabelAbove

2602 >True</LabelAbove

2603 ><Shape

2604 ><![CDATA[interface]]></Shape

2605 ><Info

2606 ><list-int/></Info></Node

2607 ><Node id="N4"

2608 ><Position X="4.601041666666666" Y="4.653333333333333"

2609 /><Name

2610 ><![CDATA[Node 4]]></Name

2611 ><LabelAbove

2612 >True</LabelAbove

2613 ><Shape

2614 ><![CDATA[interface]]></Shape

2615 ><Info

2616 ><list-int/></Info></Node

2617 ><Node id="N5"

2618 ><Position X="2.275416666666667" Y="1.27"

2619 /><Name

2620 ><![CDATA[Node 5]]></Name

2621 ><LabelAbove

2622 >True</LabelAbove

2623 ><Shape

2624 ><![CDATA[Erase]]></Shape

2625 ><Info

2626 ><list-int/></Info></Node

2627 ><Node id="N6"

2628 ><Position X="4.603750000000001" Y="3.2808333333333337"

2629 /><Name

2630 ><![CDATA[Node 6]]></Name

2631 ><LabelAbove

2632 >True</LabelAbove

2633 ><Shape

2634 ><![CDATA[Erase]]></Shape

2635 ><Info

2636 ><list-int/></Info></Node></Nodes

2637 ><Edges

2638 ><Edge id="E1"

2639 ><From

2640 >5</From

2641 ><PortFrom

2642 ><![CDATA[down]]></PortFrom

2643 ><To

2644 >3</To

2645 ><PortTo

2646 ><![CDATA[interface]]></PortTo

2647 ><Via

2648 ><Position X="4.286250000000001" Y="1.74625"/></Via

2649 ><Info

2650 ><list-int/></Info></Edge

2651 ><Edge id="E2"

2652 ><From

2653 >6</From

2654 ><PortFrom

2655 ><![CDATA[down]]></PortFrom

2656 ><To

2657 >4</To

2658 ><PortTo

2659 ><![CDATA[interface]]></PortTo

2660 ><Via

2661 /><Info

2662 ><list-int/></Info></Edge></Edges></Network></RHS

2663 ><Mapping

2664 ><MappingElement lhs="3" rhs="3"

2665 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

2666 ><INRule

2667 ><Name

2668 ><![CDATA[Erase_Evaluator]]></Name

2669 ><LHS

2670 ><Network Width="15.0" Height="9.0"

2671 ><Info

2672 ><unit/></Info

2673 ><Nodes

2674 ><Node id="N1"

2675 ><Position X="2.0" Y="2.0"

2676 /><Name

2677 ><![CDATA[Node 1]]></Name

2678 ><LabelAbove

2679 >True</LabelAbove

2680 ><Shape

2681 ><![CDATA[Erase]]></Shape

2682 ><Info

2683 ><list-int/></Info></Node

2684 ><Node id="N2"

2685 ><Position X="4.0" Y="2.0"

2686 /><Name

2687 ><![CDATA[Node 2]]></Name

2688 ><LabelAbove

2689 >True</LabelAbove

2690 ><Shape

2691 ><![CDATA[evaluation]]></Shape

2692 ><Info

2693 ><list-int/></Info></Node

2694 ><Node id="N3"

2695 ><Position X="4.018958333333334" Y="0.6058333333333334"

2696 /><Name

2697 ><![CDATA[Node 3]]></Name

2698 ><LabelAbove

2699 >True</LabelAbove

2700 ><Shape

2701 ><![CDATA[interface]]></Shape

2702 ><Info

2703 ><list-int/></Info></Node></Nodes

2704 ><Edges

2705 ><Edge id="E1"

2706 ><From

2707 >1</From

2708 ><PortFrom

2709 ><![CDATA[down]]></PortFrom

2710 ><To

2711 >2</To

2712 ><PortTo

2713 ><![CDATA[arg]]></PortTo

2714 ><Via

2715 /><Info

2716 ><list-int/></Info></Edge

2717 ><Edge id="E2"

2718 ><From

2719 >2</From

2720 ><PortFrom

2721 ><![CDATA[res]]></PortFrom

2722 ><To

2723 >3</To

2724 ><PortTo

2725 ><![CDATA[interface]]></PortTo

2726 ><Via

2727 /><Info

2728 ><list-int/></Info></Edge></Edges></Network></LHS

2729 ><RHS

2730 ><Network Width="15.0" Height="9.0"

2731 ><Info

2732 ><unit/></Info

2733 ><Nodes

2734 ><Node id="N3"

2735 ><Position X="4.018958333333334" Y="0.6058333333333334"

2736 /><Name

2737 ><![CDATA[Node 3]]></Name

2738 ><LabelAbove

2739 >True</LabelAbove

2740 ><Shape

2741 ><![CDATA[interface]]></Shape

2742 ><Info

2743 ><list-int/></Info></Node

2744 ><Node id="N4"

2745 ><Position X="2.54" Y="1.825625"

2746 /><Name

2747 ><![CDATA[Node 4]]></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 >4</From

2758 ><PortFrom

2759 ><![CDATA[down]]></PortFrom

2760 ><To

2761 >3</To

2762 ><PortTo

2763 ><![CDATA[interface]]></PortTo

2764 ><Via

2765 ><Position X="3.9952083333333337" Y="2.328333333333333"/></Via

2766 ><Info

2767 ><list-int/></Info></Edge></Edges></Network></RHS

2768 ><Mapping

2769 ><MappingElement lhs="3" rhs="3"/></Mapping></INRule

2770 ><INRule

2771 ><Name

2772 ><![CDATA[Erase_EvaluatorReturning]]></Name

2773 ><LHS

2774 ><Network Width="15.0" Height="9.0"

2775 ><Info

2776 ><unit/></Info

2777 ><Nodes

2778 ><Node id="N1"

2779 ><Position X="2.0" Y="2.0"

2780 /><Name

2781 ><![CDATA[Node 1]]></Name

2782 ><LabelAbove

2783 >True</LabelAbove

2784 ><Shape

2785 ><![CDATA[Erase]]></Shape

2786 ><Info

2787 ><list-int/></Info></Node

2788 ><Node id="N2"

2789 ><Position X="2.0" Y="4.0"

2790 /><Name

2791 ><![CDATA[Node 2]]></Name

2792 ><LabelAbove

2793 >True</LabelAbove

2794 ><Shape

2795 ><![CDATA[evalReturn]]></Shape

2796 ><Info

2797 ><list-int/></Info></Node

2798 ><Node id="N3"

2799 ><Position X="2.008125" Y="5.6587499999999995"

2800 /><Name

2801 ><![CDATA[Node 3]]></Name

2802 ><LabelAbove

2803 >True</LabelAbove

2804 ><Shape

2805 ><![CDATA[interface]]></Shape

2806 ><Info

2807 ><list-int/></Info></Node></Nodes

2808 ><Edges

2809 ><Edge id="E1"

2810 ><From

2811 >1</From

2812 ><PortFrom

2813 ><![CDATA[down]]></PortFrom

2814 ><To

2815 >2</To

2816 ><PortTo

2817 ><![CDATA[res]]></PortTo

2818 ><Via

2819 /><Info

2820 ><list-int/></Info></Edge

2821 ><Edge id="E2"

2822 ><From

2823 >2</From

2824 ><PortFrom

2825 ><![CDATA[arg]]></PortFrom

2826 ><To

2827 >3</To

2828 ><PortTo

2829 ><![CDATA[interface]]></PortTo

2830 ><Via

2831 /><Info

2832 ><list-int/></Info></Edge></Edges></Network></LHS

2833 ><RHS

2834 ><Network Width="15.0" Height="9.0"

2835 ><Info

2836 ><unit/></Info

2837 ><Nodes

2838 ><Node id="N3"

2839 ><Position X="2.008125" Y="5.6587499999999995"

2840 /><Name

2841 ><![CDATA[Node 3]]></Name

2842 ><LabelAbove

2843 >True</LabelAbove

2844 ><Shape

2845 ><![CDATA[interface]]></Shape

2846 ><Info

2847 ><list-int/></Info></Node

2848 ><Node id="N4"

2849 ><Position X="2.0108333333333333" Y="3.624791666666667"

2850 /><Name

2851 ><![CDATA[Node 4]]></Name

2852 ><LabelAbove

2853 >True</LabelAbove

2854 ><Shape

2855 ><![CDATA[Erase]]></Shape

2856 ><Info

2857 ><list-int/></Info></Node></Nodes

2858 ><Edges

2859 ><Edge id="E1"

2860 ><From

2861 >4</From

2862 ><PortFrom

2863 ><![CDATA[down]]></PortFrom

2864 ><To

2865 >3</To

2866 ><PortTo

2867 ><![CDATA[interface]]></PortTo

2868 ><Via

2869 /><Info

2870 ><list-int/></Info></Edge></Edges></Network></RHS

2871 ><Mapping

2872 ><MappingElement lhs="3" rhs="3"/></Mapping></INRule

2873 ><INRule

2874 ><Name

2875 ><![CDATA[Erase_preApplication]]></Name

2876 ><LHS

2877 ><Network Width="15.0" Height="9.0"

2878 ><Info

2879 ><unit/></Info

2880 ><Nodes

2881 ><Node id="N1"

2882 ><Position X="2.0" Y="2.0"

2883 /><Name

2884 ><![CDATA[Node 1]]></Name

2885 ><LabelAbove

2886 >True</LabelAbove

2887 ><Shape

2888 ><![CDATA[Erase]]></Shape

2889 ><Info

2890 ><list-int/></Info></Node

2891 ><Node id="N2"

2892 ><Position X="2.0" Y="4.0"

2893 /><Name

2894 ><![CDATA[Node 2]]></Name

2895 ><LabelAbove

2896 >True</LabelAbove

2897 ><Shape

2898 ><![CDATA[beforeApplication]]></Shape

2899 ><Info

2900 ><list-int/></Info></Node

2901 ><Node id="N3"

2902 ><Position X="2.4843750000000004" Y="5.473541666666668"

2903 /><Name

2904 ><![CDATA[Node 3]]></Name

2905 ><LabelAbove

2906 >True</LabelAbove

2907 ><Shape

2908 ><![CDATA[interface]]></Shape

2909 ><Info

2910 ><list-int/></Info></Node

2911 ><Node id="N4"

2912 ><Position X="1.5" Y="5.5"

2913 /><Name

2914 ><![CDATA[Node 4]]></Name

2915 ><LabelAbove

2916 >True</LabelAbove

2917 ><Shape

2918 ><![CDATA[interface]]></Shape

2919 ><Info

2920 ><list-int/></Info></Node></Nodes

2921 ><Edges

2922 ><Edge id="E1"

2923 ><From

2924 >1</From

2925 ><PortFrom

2926 ><![CDATA[down]]></PortFrom

2927 ><To

2928 >2</To

2929 ><PortTo

2930 ><![CDATA[res]]></PortTo

2931 ><Via

2932 /><Info

2933 ><list-int/></Info></Edge

2934 ><Edge id="E2"

2935 ><From

2936 >2</From

2937 ><PortFrom

2938 ><![CDATA[func]]></PortFrom

2939 ><To

2940 >4</To

2941 ><PortTo

2942 ><![CDATA[interface]]></PortTo

2943 ><Via

2944 /><Info

2945 ><list-int/></Info></Edge

2946 ><Edge id="E3"

2947 ><From

2948 >2</From

2949 ><PortFrom

2950 ><![CDATA[arg]]></PortFrom

2951 ><To

2952 >3</To

2953 ><PortTo

2954 ><![CDATA[interface]]></PortTo

2955 ><Via

2956 /><Info

2957 ><list-int/></Info></Edge></Edges></Network></LHS

2958 ><RHS

2959 ><Network Width="15.0" Height="9.0"

2960 ><Info

2961 ><unit/></Info

2962 ><Nodes

2963 ><Node id="N3"

2964 ><Position X="2.4843750000000004" Y="5.473541666666668"

2965 /><Name

2966 ><![CDATA[Node 3]]></Name

2967 ><LabelAbove

2968 >True</LabelAbove

2969 ><Shape

2970 ><![CDATA[interface]]></Shape

2971 ><Info

2972 ><list-int/></Info></Node

2973 ><Node id="N4"

2974 ><Position X="1.5" Y="5.5"

2975 /><Name

2976 ><![CDATA[Node 4]]></Name

2977 ><LabelAbove

2978 >True</LabelAbove

2979 ><Shape

2980 ><![CDATA[interface]]></Shape

2981 ><Info

2982 ><list-int/></Info></Node

2983 ><Node id="N5"

2984 ><Position X="1.3229166666666667" Y="3.5983333333333336"

2985 /><Name

2986 ><![CDATA[Node 5]]></Name

2987 ><LabelAbove

2988 >True</LabelAbove

2989 ><Shape

2990 ><![CDATA[Erase]]></Shape

2991 ><Info

2992 ><list-int/></Info></Node

2993 ><Node id="N6"

2994 ><Position X="2.8045833333333334" Y="3.5718750000000004"

2995 /><Name

2996 ><![CDATA[Node 6]]></Name

2997 ><LabelAbove

2998 >True</LabelAbove

2999 ><Shape

3000 ><![CDATA[Erase]]></Shape

3001 ><Info

3002 ><list-int/></Info></Node></Nodes

3003 ><Edges

3004 ><Edge id="E1"

3005 ><From

3006 >5</From

3007 ><PortFrom

3008 ><![CDATA[down]]></PortFrom

3009 ><To

3010 >4</To

3011 ><PortTo

3012 ><![CDATA[interface]]></PortTo

3013 ><Via

3014 /><Info

3015 ><list-int/></Info></Edge

3016 ><Edge id="E2"

3017 ><From

3018 >6</From

3019 ><PortFrom

3020 ><![CDATA[down]]></PortFrom

3021 ><To

3022 >3</To

3023 ><PortTo

3024 ><![CDATA[interface]]></PortTo

3025 ><Via

3026 /><Info

3027 ><list-int/></Info></Edge></Edges></Network></RHS

3028 ><Mapping

3029 ><MappingElement lhs="3" rhs="3"

3030 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

3031 ><INRule

3032 ><Name

3033 ><![CDATA[Erase_Copy]]></Name

3034 ><LHS

3035 ><Network Width="15.0" Height="9.0"

3036 ><Info

3037 ><unit/></Info

3038 ><Nodes

3039 ><Node id="N1"

3040 ><Position X="2.0" Y="2.0"

3041 /><Name

3042 ><![CDATA[Node 1]]></Name

3043 ><LabelAbove

3044 >True</LabelAbove

3045 ><Shape

3046 ><![CDATA[Erase]]></Shape

3047 ><Info

3048 ><list-int/></Info></Node

3049 ><Node id="N2"

3050 ><Position X="4.0529166666666665" Y="2.211666666666667"

3051 /><Name

3052 ><![CDATA[Node 2]]></Name

3053 ><LabelAbove

3054 >True</LabelAbove

3055 ><Shape

3056 ><![CDATA[copy]]></Shape

3057 ><Info

3058 ><list-int/></Info></Node

3059 ><Node id="N3"

3060 ><Position X="3.4104166666666673" Y="0.8174999999999999"

3061 /><Name

3062 ><![CDATA[Node 3]]></Name

3063 ><LabelAbove

3064 >True</LabelAbove

3065 ><Shape

3066 ><![CDATA[interface]]></Shape

3067 ><Info

3068 ><list-int/></Info></Node

3069 ><Node id="N4"

3070 ><Position X="4.860208333333334" Y="0.8175000000000001"

3071 /><Name

3072 ><![CDATA[Node 4]]></Name

3073 ><LabelAbove

3074 >True</LabelAbove

3075 ><Shape

3076 ><![CDATA[interface]]></Shape

3077 ><Info

3078 ><list-int/></Info></Node></Nodes

3079 ><Edges

3080 ><Edge id="E1"

3081 ><From

3082 >1</From

3083 ><PortFrom

3084 ><![CDATA[down]]></PortFrom

3085 ><To

3086 >2</To

3087 ><PortTo

3088 ><![CDATA[src]]></PortTo

3089 ><Via

3090 /><Info

3091 ><list-int/></Info></Edge

3092 ><Edge id="E2"

3093 ><From

3094 >2</From

3095 ><PortFrom

3096 ><![CDATA[snd_target]]></PortFrom

3097 ><To

3098 >4</To

3099 ><PortTo

3100 ><![CDATA[interface]]></PortTo

3101 ><Via

3102 /><Info

3103 ><list-int/></Info></Edge

3104 ><Edge id="E3"

3105 ><From

3106 >2</From

3107 ><PortFrom

3108 ><![CDATA[fst_target]]></PortFrom

3109 ><To

3110 >3</To

3111 ><PortTo

3112 ><![CDATA[interface]]></PortTo

3113 ><Via

3114 /><Info

3115 ><list-int/></Info></Edge></Edges></Network></LHS

3116 ><RHS

3117 ><Network Width="15.0" Height="9.0"

3118 ><Info

3119 ><unit/></Info

3120 ><Nodes

3121 ><Node id="N3"

3122 ><Position X="3.4104166666666673" Y="0.8174999999999999"

3123 /><Name

3124 ><![CDATA[Node 3]]></Name

3125 ><LabelAbove

3126 >True</LabelAbove

3127 ><Shape

3128 ><![CDATA[interface]]></Shape

3129 ><Info

3130 ><list-int/></Info></Node

3131 ><Node id="N4"

3132 ><Position X="4.860208333333334" Y="0.8175000000000001"

3133 /><Name

3134 ><![CDATA[Node 4]]></Name

3135 ><LabelAbove

3136 >True</LabelAbove

3137 ><Shape

3138 ><![CDATA[interface]]></Shape

3139 ><Info

3140 ><list-int/></Info></Node

3141 ><Node id="N5"

3142 ><Position X="2.354791666666667" Y="2.672291666666667"

3143 /><Name

3144 ><![CDATA[Node 5]]></Name

3145 ><LabelAbove

3146 >True</LabelAbove

3147 ><Shape

3148 ><![CDATA[Erase]]></Shape

3149 ><Info

3150 ><list-int/></Info></Node

3151 ><Node id="N6"

3152 ><Position X="6.164791666666667" Y="2.6722916666666667"

3153 /><Name

3154 ><![CDATA[Node 6]]></Name

3155 ><LabelAbove

3156 >True</LabelAbove

3157 ><Shape

3158 ><![CDATA[Erase]]></Shape

3159 ><Info

3160 ><list-int/></Info></Node></Nodes

3161 ><Edges

3162 ><Edge id="E1"

3163 ><From

3164 >5</From

3165 ><PortFrom

3166 ><![CDATA[down]]></PortFrom

3167 ><To

3168 >3</To

3169 ><PortTo

3170 ><![CDATA[interface]]></PortTo

3171 ><Via

3172 ><Position X="3.3866666666666667" Y="3.148541666666667"/></Via

3173 ><Info

3174 ><list-int/></Info></Edge

3175 ><Edge id="E2"

3176 ><From

3177 >6</From

3178 ><PortFrom

3179 ><![CDATA[down]]></PortFrom

3180 ><To

3181 >4</To

3182 ><PortTo

3183 ><![CDATA[interface]]></PortTo

3184 ><Via

3185 ><Position X="4.841875000000001" Y="3.175"/></Via

3186 ><Info

3187 ><list-int/></Info></Edge></Edges></Network></RHS

3188 ><Mapping

3189 ><MappingElement lhs="3" rhs="3"

3190 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

3191 ><INRule

3192 ><Name

3193 ><![CDATA[Erase_Duplicator]]></Name

3194 ><LHS

3195 ><Network Width="15.0" Height="9.0"

3196 ><Info

3197 ><unit/></Info

3198 ><Nodes

3199 ><Node id="N1"

3200 ><Position X="2.0" Y="2.0"

3201 /><Name

3202 ><![CDATA[Node 1]]></Name

3203 ><LabelAbove

3204 >True</LabelAbove

3205 ><Shape

3206 ><![CDATA[Erase]]></Shape

3207 ><Info

3208 ><list-int/></Info></Node

3209 ><Node id="N2"

3210 ><Position X="4.0" Y="2.0"

3211 /><Name

3212 ><![CDATA[Node 2]]></Name

3213 ><LabelAbove

3214 >True</LabelAbove

3215 ><Shape

3216 ><![CDATA[duplicator]]></Shape

3217 ><Info

3218 ><list-int/></Info></Node

3219 ><Node id="N3"

3220 ><Position X="2.8283333333333336" Y="0.6058333333333332"

3221 /><Name

3222 ><![CDATA[Node 3]]></Name

3223 ><LabelAbove

3224 >True</LabelAbove

3225 ><Shape

3226 ><![CDATA[interface]]></Shape

3227 ><Info

3228 ><list-int/></Info></Node

3229 ><Node id="N4"

3230 ><Position X="5.124791666666667" Y="0.6322916666666667"

3231 /><Name

3232 ><![CDATA[Node 4]]></Name

3233 ><LabelAbove

3234 >True</LabelAbove

3235 ><Shape

3236 ><![CDATA[interface]]></Shape

3237 ><Info

3238 ><list-int/></Info></Node></Nodes

3239 ><Edges

3240 ><Edge id="E1"

3241 ><From

3242 >1</From

3243 ><PortFrom

3244 ><![CDATA[down]]></PortFrom

3245 ><To

3246 >2</To

3247 ><PortTo

3248 ><![CDATA[down]]></PortTo

3249 ><Via

3250 /><Info

3251 ><list-int/></Info></Edge

3252 ><Edge id="E2"

3253 ><From

3254 >2</From

3255 ><PortFrom

3256 ><![CDATA[copy2]]></PortFrom

3257 ><To

3258 >4</To

3259 ><PortTo

3260 ><![CDATA[interface]]></PortTo

3261 ><Via

3262 /><Info

3263 ><list-int/></Info></Edge

3264 ><Edge id="E3"

3265 ><From

3266 >2</From

3267 ><PortFrom

3268 ><![CDATA[copy1]]></PortFrom

3269 ><To

3270 >3</To

3271 ><PortTo

3272 ><![CDATA[interface]]></PortTo

3273 ><Via

3274 /><Info

3275 ><list-int/></Info></Edge></Edges></Network></LHS

3276 ><RHS

3277 ><Network Width="15.0" Height="9.0"

3278 ><Info

3279 ><unit/></Info

3280 ><Nodes

3281 ><Node id="N3"

3282 ><Position X="2.8283333333333336" Y="0.6058333333333332"

3283 /><Name

3284 ><![CDATA[Node 3]]></Name

3285 ><LabelAbove

3286 >True</LabelAbove

3287 ><Shape

3288 ><![CDATA[interface]]></Shape

3289 ><Info

3290 ><list-int/></Info></Node

3291 ><Node id="N4"

3292 ><Position X="5.124791666666667" Y="0.6322916666666667"

3293 /><Name

3294 ><![CDATA[Node 4]]></Name

3295 ><LabelAbove

3296 >True</LabelAbove

3297 ><Shape

3298 ><![CDATA[interface]]></Shape

3299 ><Info

3300 ><list-int/></Info></Node

3301 ><Node id="N5"

3302 ><Position X="1.508125" Y="2.3283333333333336"

3303 /><Name

3304 ><![CDATA[Node 5]]></Name

3305 ><LabelAbove

3306 >True</LabelAbove

3307 ><Shape

3308 ><![CDATA[Erase]]></Shape

3309 ><Info

3310 ><list-int/></Info></Node

3311 ><Node id="N6"

3312 ><Position X="6.588125000000001" Y="2.3283333333333336"

3313 /><Name

3314 ><![CDATA[Node 6]]></Name

3315 ><LabelAbove

3316 >True</LabelAbove

3317 ><Shape

3318 ><![CDATA[Erase]]></Shape

3319 ><Info

3320 ><list-int/></Info></Node></Nodes

3321 ><Edges

3322 ><Edge id="E1"

3323 ><From

3324 >3</From

3325 ><PortFrom

3326 ><![CDATA[interface]]></PortFrom

3327 ><To

3328 >5</To

3329 ><PortTo

3330 ><![CDATA[down]]></PortTo

3331 ><Via

3332 ><Position X="2.804583333333334" Y="2.8045833333333334"/></Via

3333 ><Info

3334 ><list-int/></Info></Edge

3335 ><Edge id="E2"

3336 ><From

3337 >4</From

3338 ><PortFrom

3339 ><![CDATA[interface]]></PortFrom

3340 ><To

3341 >6</To

3342 ><PortTo

3343 ><![CDATA[down]]></PortTo

3344 ><Via

3345 ><Position X="5.106458333333333" Y="2.8045833333333334"/></Via

3346 ><Info

3347 ><list-int/></Info></Edge></Edges></Network></RHS

3348 ><Mapping

3349 ><MappingElement lhs="3" rhs="3"

3350 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

3351 ><INRule

3352 ><Name

3353 ><![CDATA[Erase_Erase]]></Name

3354 ><LHS

3355 ><Network Width="15.0" Height="9.0"

3356 ><Info

3357 ><unit/></Info

3358 ><Nodes

3359 ><Node id="N1"

3360 ><Position X="2.0" Y="2.0"

3361 /><Name

3362 ><![CDATA[Node 1]]></Name

3363 ><LabelAbove

3364 >True</LabelAbove

3365 ><Shape

3366 ><![CDATA[Erase]]></Shape

3367 ><Info

3368 ><list-int/></Info></Node

3369 ><Node id="N2"

3370 ><Position X="4.0" Y="2.0"

3371 /><Name

3372 ><![CDATA[Node 2]]></Name

3373 ><LabelAbove

3374 >True</LabelAbove

3375 ><Shape

3376 ><![CDATA[Erase]]></Shape

3377 ><Info

3378 ><list-int/></Info></Node></Nodes

3379 ><Edges

3380 ><Edge id="E1"

3381 ><From

3382 >1</From

3383 ><PortFrom

3384 ><![CDATA[down]]></PortFrom

3385 ><To

3386 >2</To

3387 ><PortTo

3388 ><![CDATA[down]]></PortTo

3389 ><Via

3390 /><Info

3391 ><list-int/></Info></Edge></Edges></Network></LHS

3392 ><RHS

3393 ><Network Width="15.0" Height="9.0"

3394 ><Info

3395 ><unit/></Info

3396 ><Nodes

3397 /><Edges/></Network></RHS

3398 ><Mapping/></INRule

3399 ><INRule

3400 ><Name

3401 ><![CDATA[Copy_Application]]></Name

3402 ><LHS

3403 ><Network Width="15.0" Height="9.0"

3404 ><Info

3405 ><unit/></Info

3406 ><Nodes

3407 ><Node id="N1"

3408 ><Position X="2.0" Y="2.0"

3409 /><Name

3410 ><![CDATA[Node 1]]></Name

3411 ><LabelAbove

3412 >True</LabelAbove

3413 ><Shape

3414 ><![CDATA[copy]]></Shape

3415 ><Info

3416 ><list-int/></Info></Node

3417 ><Node id="N2"

3418 ><Position X="3.6560416666666664" Y="2.88875"

3419 /><Name

3420 ><![CDATA[Node 2]]></Name

3421 ><LabelAbove

3422 >True</LabelAbove

3423 ><Shape

3424 ><![CDATA[application]]></Shape

3425 ><Info

3426 ><list-int/></Info></Node

3427 ><Node id="N3"

3428 ><Position X="1.5583333333333336" Y="0.5264583333333334"

3429 /><Name

3430 ><![CDATA[Node 3]]></Name

3431 ><LabelAbove

3432 >True</LabelAbove

3433 ><Shape

3434 ><![CDATA[interface]]></Shape

3435 ><Info

3436 ><list-int/></Info></Node

3437 ><Node id="N4"

3438 ><Position X="2.5318750000000003" Y="0.5529166666666667"

3439 /><Name

3440 ><![CDATA[Node 4]]></Name

3441 ><LabelAbove

3442 >True</LabelAbove

3443 ><Shape

3444 ><![CDATA[interface]]></Shape

3445 ><Info

3446 ><list-int/></Info></Node

3447 ><Node id="N5"

3448 ><Position X="2.6587500000000004" Y="5.130208333333333"

3449 /><Name

3450 ><![CDATA[Node 5]]></Name

3451 ><LabelAbove

3452 >True</LabelAbove

3453 ><Shape

3454 ><![CDATA[interface]]></Shape

3455 ><Info

3456 ><list-int/></Info></Node

3457 ><Node id="N6"

3458 ><Position X="3.9660416666666674" Y="5.1295833333333345"

3459 /><Name

3460 ><![CDATA[Node 6]]></Name

3461 ><LabelAbove

3462 >True</LabelAbove

3463 ><Shape

3464 ><![CDATA[interface]]></Shape

3465 ><Info

3466 ><list-int/></Info></Node></Nodes

3467 ><Edges

3468 ><Edge id="E1"

3469 ><From

3470 >1</From

3471 ><PortFrom

3472 ><![CDATA[src]]></PortFrom

3473 ><To

3474 >2</To

3475 ><PortTo

3476 ><![CDATA[func]]></PortTo

3477 ><Via

3478 ><Position X="1.9843750000000009" Y="3.1750000000000003"/></Via

3479 ><Info

3480 ><list-int/></Info></Edge

3481 ><Edge id="E2"

3482 ><From

3483 >1</From

3484 ><PortFrom

3485 ><![CDATA[snd_target]]></PortFrom

3486 ><To

3487 >4</To

3488 ><PortTo

3489 ><![CDATA[interface]]></PortTo

3490 ><Via

3491 /><Info

3492 ><list-int/></Info></Edge

3493 ><Edge id="E3"

3494 ><From

3495 >1</From

3496 ><PortFrom

3497 ><![CDATA[fst_target]]></PortFrom

3498 ><To

3499 >3</To

3500 ><PortTo

3501 ><![CDATA[interface]]></PortTo

3502 ><Via

3503 /><Info

3504 ><list-int/></Info></Edge

3505 ><Edge id="E4"

3506 ><From

3507 >2</From

3508 ><PortFrom

3509 ><![CDATA[arg]]></PortFrom

3510 ><To

3511 >6</To

3512 ><PortTo

3513 ><![CDATA[interface]]></PortTo

3514 ><Via

3515 /><Info

3516 ><list-int/></Info></Edge

3517 ><Edge id="E5"

3518 ><From

3519 >2</From

3520 ><PortFrom

3521 ><![CDATA[res]]></PortFrom

3522 ><To

3523 >5</To

3524 ><PortTo

3525 ><![CDATA[interface]]></PortTo

3526 ><Via

3527 ><Position X="2.6458333333333335" Y="2.513541666666667"/></Via

3528 ><Info

3529 ><list-int/></Info></Edge></Edges></Network></LHS

3530 ><RHS

3531 ><Network Width="15.0" Height="9.0"

3532 ><Info

3533 ><unit/></Info

3534 ><Nodes

3535 ><Node id="N3"

3536 ><Position X="1.5583333333333336" Y="0.5264583333333334"

3537 /><Name

3538 ><![CDATA[Node 3]]></Name

3539 ><LabelAbove

3540 >True</LabelAbove

3541 ><Shape

3542 ><![CDATA[interface]]></Shape

3543 ><Info

3544 ><list-int/></Info></Node

3545 ><Node id="N4"

3546 ><Position X="4.913125" Y="0.3677083333333333"

3547 /><Name

3548 ><![CDATA[Node 4]]></Name

3549 ><LabelAbove

3550 >True</LabelAbove

3551 ><Shape

3552 ><![CDATA[interface]]></Shape

3553 ><Info

3554 ><list-int/></Info></Node

3555 ><Node id="N5"

3556 ><Position X="3.0291666666666663" Y="5.050833333333333"

3557 /><Name

3558 ><![CDATA[Node 5]]></Name

3559 ><LabelAbove

3560 >True</LabelAbove

3561 ><Shape

3562 ><![CDATA[interface]]></Shape

3563 ><Info

3564 ><list-int/></Info></Node

3565 ><Node id="N6"

3566 ><Position X="6.05625" Y="4.997291666666667"

3567 /><Name

3568 ><![CDATA[Node 6]]></Name

3569 ><LabelAbove

3570 >True</LabelAbove

3571 ><Shape

3572 ><![CDATA[interface]]></Shape

3573 ><Info

3574 ><list-int/></Info></Node

3575 ><Node id="N7"

3576 ><Position X="6.058958333333335" Y="3.810000000000001"

3577 /><Name

3578 ><![CDATA[Node 7]]></Name

3579 ><LabelAbove

3580 >True</LabelAbove

3581 ><Shape

3582 ><![CDATA[copy]]></Shape

3583 ><Info

3584 ><list-int/></Info></Node

3585 ><Node id="N8"

3586 ><Position X="3.0427083333333336" Y="3.8364583333333333"

3587 /><Name

3588 ><![CDATA[Node 8]]></Name

3589 ><LabelAbove

3590 >True</LabelAbove

3591 ><Shape

3592 ><![CDATA[copy]]></Shape

3593 ><Info

3594 ><list-int/></Info></Node

3595 ><Node id="N9"

3596 ><Position X="2.7781250000000006" Y="1.6933333333333338"

3597 /><Name

3598 ><![CDATA[Node 9]]></Name

3599 ><LabelAbove

3600 >True</LabelAbove

3601 ><Shape

3602 ><![CDATA[application]]></Shape

3603 ><Info

3604 ><list-int/></Info></Node

3605 ><Node id="N10"

3606 ><Position X="6.058958333333334" Y="1.7197916666666666"

3607 /><Name

3608 ><![CDATA[Node 10]]></Name

3609 ><LabelAbove

3610 >True</LabelAbove

3611 ><Shape

3612 ><![CDATA[application]]></Shape

3613 ><Info

3614 ><list-int/></Info></Node></Nodes

3615 ><Edges

3616 ><Edge id="E1"

3617 ><From

3618 >9</From

3619 ><PortFrom

3620 ><![CDATA[func]]></PortFrom

3621 ><To

3622 >3</To

3623 ><PortTo

3624 ><![CDATA[interface]]></PortTo

3625 ><Via

3626 ><Position X="1.5345833333333332" Y="1.9843750000000004"/></Via

3627 ><Info

3628 ><list-int/></Info></Edge

3629 ><Edge id="E2"

3630 ><From

3631 >10</From

3632 ><PortFrom

3633 ><![CDATA[func]]></PortFrom

3634 ><To

3635 >4</To

3636 ><PortTo

3637 ><![CDATA[interface]]></PortTo

3638 ><Via

3639 ><Position X="4.894791666666666" Y="2.0108333333333333"/></Via

3640 ><Info

3641 ><list-int/></Info></Edge

3642 ><Edge id="E3"

3643 ><From

3644 >7</From

3645 ><PortFrom

3646 ><![CDATA[src]]></PortFrom

3647 ><To

3648 >6</To

3649 ><PortTo

3650 ><![CDATA[interface]]></PortTo

3651 ><Via

3652 /><Info

3653 ><list-int/></Info></Edge

3654 ><Edge id="E4"

3655 ><From

3656 >8</From

3657 ><PortFrom

3658 ><![CDATA[src]]></PortFrom

3659 ><To

3660 >5</To

3661 ><PortTo

3662 ><![CDATA[interface]]></PortTo

3663 ><Via

3664 /><Info

3665 ><list-int/></Info></Edge

3666 ><Edge id="E5"

3667 ><From

3668 >10</From

3669 ><PortFrom

3670 ><![CDATA[res]]></PortFrom

3671 ><To

3672 >8</To

3673 ><PortTo

3674 ><![CDATA[snd_target]]></PortTo

3675 ><Via

3676 ><Position X="4.339166666666666" Y="1.3758333333333332"/></Via

3677 ><Info

3678 ><list-int/></Info></Edge

3679 ><Edge id="E6"

3680 ><From

3681 >9</From

3682 ><PortFrom

3683 ><![CDATA[res]]></PortFrom

3684 ><To

3685 >8</To

3686 ><PortTo

3687 ><![CDATA[fst_target]]></PortTo

3688 ><Via

3689 ><Position X="1.9314583333333337" Y="1.349375"

3690 /><Position X="1.9314583333333337" Y="3.5189583333333334"/></Via

3691 ><Info

3692 ><list-int/></Info></Edge

3693 ><Edge id="E7"

3694 ><From

3695 >9</From

3696 ><PortFrom

3697 ><![CDATA[arg]]></PortFrom

3698 ><To

3699 >7</To

3700 ><PortTo

3701 ><![CDATA[fst_target]]></PortTo

3702 ><Via

3703 /><Info

3704 ><list-int/></Info></Edge

3705 ><Edge id="E8"

3706 ><From

3707 >10</From

3708 ><PortFrom

3709 ><![CDATA[arg]]></PortFrom

3710 ><To

3711 >7</To

3712 ><PortTo

3713 ><![CDATA[snd_target]]></PortTo

3714 ><Via

3715 /><Info

3716 ><list-int/></Info></Edge></Edges></Network></RHS

3717 ><Mapping

3718 ><MappingElement lhs="3" rhs="3"

3719 /><MappingElement lhs="4" rhs="4"

3720 /><MappingElement lhs="5" rhs="5"

3721 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

3722 ><INRule

3723 ><Name

3724 ><![CDATA[Copy_Evaluator]]></Name

3725 ><LHS

3726 ><Network Width="15.0" Height="9.0"

3727 ><Info

3728 ><unit/></Info

3729 ><Nodes

3730 ><Node id="N1"

3731 ><Position X="2.0" Y="2.0"

3732 /><Name

3733 ><![CDATA[Node 1]]></Name

3734 ><LabelAbove

3735 >True</LabelAbove

3736 ><Shape

3737 ><![CDATA[copy]]></Shape

3738 ><Info

3739 ><list-int/></Info></Node

3740 ><Node id="N2"

3741 ><Position X="4.026458333333333" Y="1.7883333333333333"

3742 /><Name

3743 ><![CDATA[Node 2]]></Name

3744 ><LabelAbove

3745 >True</LabelAbove

3746 ><Shape

3747 ><![CDATA[evaluation]]></Shape

3748 ><Info

3749 ><list-int/></Info></Node

3750 ><Node id="N3"

3751 ><Position X="1.4789583333333334" Y="0.6058333333333333"

3752 /><Name

3753 ><![CDATA[Node 3]]></Name

3754 ><LabelAbove

3755 >True</LabelAbove

3756 ><Shape

3757 ><![CDATA[interface]]></Shape

3758 ><Info

3759 ><list-int/></Info></Node

3760 ><Node id="N4"

3761 ><Position X="2.5583333333333336" Y="0.6322916666666667"

3762 /><Name

3763 ><![CDATA[Node 4]]></Name

3764 ><LabelAbove

3765 >True</LabelAbove

3766 ><Shape

3767 ><![CDATA[interface]]></Shape

3768 ><Info

3769 ><list-int/></Info></Node

3770 ><Node id="N5"

3771 ><Position X="6.045416666666667" Y="1.0291666666666668"

3772 /><Name

3773 ><![CDATA[Node 5]]></Name

3774 ><LabelAbove

3775 >True</LabelAbove

3776 ><Shape

3777 ><![CDATA[interface]]></Shape

3778 ><Info

3779 ><list-int/></Info></Node></Nodes

3780 ><Edges

3781 ><Edge id="E1"

3782 ><From

3783 >1</From

3784 ><PortFrom

3785 ><![CDATA[src]]></PortFrom

3786 ><To

3787 >2</To

3788 ><PortTo

3789 ><![CDATA[arg]]></PortTo

3790 ><Via

3791 /><Info

3792 ><list-int/></Info></Edge

3793 ><Edge id="E2"

3794 ><From

3795 >1</From

3796 ><PortFrom

3797 ><![CDATA[snd_target]]></PortFrom

3798 ><To

3799 >4</To

3800 ><PortTo

3801 ><![CDATA[interface]]></PortTo

3802 ><Via

3803 /><Info

3804 ><list-int/></Info></Edge

3805 ><Edge id="E3"

3806 ><From

3807 >1</From

3808 ><PortFrom

3809 ><![CDATA[fst_target]]></PortFrom

3810 ><To

3811 >3</To

3812 ><PortTo

3813 ><![CDATA[interface]]></PortTo

3814 ><Via

3815 /><Info

3816 ><list-int/></Info></Edge

3817 ><Edge id="E4"

3818 ><From

3819 >2</From

3820 ><PortFrom

3821 ><![CDATA[res]]></PortFrom

3822 ><To

3823 >5</To

3824 ><PortTo

3825 ><![CDATA[interface]]></PortTo

3826 ><Via

3827 /><Info

3828 ><list-int/></Info></Edge></Edges></Network></LHS

3829 ><RHS

3830 ><Network Width="15.0" Height="9.0"

3831 ><Info

3832 ><unit/></Info

3833 ><Nodes

3834 ><Node id="N3"

3835 ><Position X="1.9816666666666665" Y="0.6322916666666668"

3836 /><Name

3837 ><![CDATA[Node 3]]></Name

3838 ><LabelAbove

3839 >True</LabelAbove

3840 ><Shape

3841 ><![CDATA[interface]]></Shape

3842 ><Info

3843 ><list-int/></Info></Node

3844 ><Node id="N4"

3845 ><Position X="5.945" Y="0.6852083333333334"

3846 /><Name

3847 ><![CDATA[Node 4]]></Name

3848 ><LabelAbove

3849 >True</LabelAbove

3850 ><Shape

3851 ><![CDATA[interface]]></Shape

3852 ><Info

3853 ><list-int/></Info></Node

3854 ><Node id="N5"

3855 ><Position X="3.822916666666667" Y="5.262500000000001"

3856 /><Name

3857 ><![CDATA[Node 5]]></Name

3858 ><LabelAbove

3859 >True</LabelAbove

3860 ><Shape

3861 ><![CDATA[interface]]></Shape

3862 ><Info

3863 ><list-int/></Info></Node

3864 ><Node id="N6"

3865 ><Position X="3.8364583333333337" Y="3.571875"

3866 /><Name

3867 ><![CDATA[Node 6]]></Name

3868 ><LabelAbove

3869 >True</LabelAbove

3870 ><Shape

3871 ><![CDATA[copy]]></Shape

3872 ><Info

3873 ><list-int/></Info></Node

3874 ><Node id="N7"

3875 ><Position X="2.831041666666667" Y="2.407708333333333"

3876 /><Name

3877 ><![CDATA[Node 7]]></Name

3878 ><LabelAbove

3879 >True</LabelAbove

3880 ><Shape

3881 ><![CDATA[evaluation]]></Shape

3882 ><Info

3883 ><list-int/></Info></Node

3884 ><Node id="N8"

3885 ><Position X="5.000625" Y="2.407708333333333"

3886 /><Name

3887 ><![CDATA[Node 8]]></Name

3888 ><LabelAbove

3889 >True</LabelAbove

3890 ><Shape

3891 ><![CDATA[evaluation]]></Shape

3892 ><Info

3893 ><list-int/></Info></Node></Nodes

3894 ><Edges

3895 ><Edge id="E1"

3896 ><From

3897 >7</From

3898 ><PortFrom

3899 ><![CDATA[arg]]></PortFrom

3900 ><To

3901 >3</To

3902 ><PortTo

3903 ><![CDATA[interface]]></PortTo

3904 ><Via

3905 ><Position X="1.9579166666666667" Y="2.8839583333333336"/></Via

3906 ><Info

3907 ><list-int/></Info></Edge

3908 ><Edge id="E2"

3909 ><From

3910 >8</From

3911 ><PortFrom

3912 ><![CDATA[arg]]></PortFrom

3913 ><To

3914 >4</To

3915 ><PortTo

3916 ><![CDATA[interface]]></PortTo

3917 ><Via

3918 ><Position X="5.926666666666668" Y="2.8839583333333336"/></Via

3919 ><Info

3920 ><list-int/></Info></Edge

3921 ><Edge id="E3"

3922 ><From

3923 >6</From

3924 ><PortFrom

3925 ><![CDATA[src]]></PortFrom

3926 ><To

3927 >5</To

3928 ><PortTo

3929 ><![CDATA[interface]]></PortTo

3930 ><Via

3931 /><Info

3932 ><list-int/></Info></Edge

3933 ><Edge id="E4"

3934 ><From

3935 >6</From

3936 ><PortFrom

3937 ><![CDATA[fst_target]]></PortFrom

3938 ><To

3939 >7</To

3940 ><PortTo

3941 ><![CDATA[res]]></PortTo

3942 ><Via

3943 ><Position X="3.5189583333333334" Y="1.905"/></Via

3944 ><Info

3945 ><list-int/></Info></Edge

3946 ><Edge id="E5"

3947 ><From

3948 >6</From

3949 ><PortFrom

3950 ><![CDATA[snd_target]]></PortFrom

3951 ><To

3952 >8</To

3953 ><PortTo

3954 ><![CDATA[res]]></PortTo

3955 ><Via

3956 ><Position X="4.1275" Y="1.9050000000000002"/></Via

3957 ><Info

3958 ><list-int/></Info></Edge></Edges></Network></RHS

3959 ><Mapping

3960 ><MappingElement lhs="3" rhs="3"

3961 /><MappingElement lhs="4" rhs="4"

3962 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

3963 ><INRule

3964 ><Name

3965 ><![CDATA[Copy_EvaluatorReturning]]></Name

3966 ><LHS

3967 ><Network Width="15.0" Height="9.0"

3968 ><Info

3969 ><unit/></Info

3970 ><Nodes

3971 ><Node id="N1"

3972 ><Position X="2.0" Y="2.0"

3973 /><Name

3974 ><![CDATA[Node 1]]></Name

3975 ><LabelAbove

3976 >True</LabelAbove

3977 ><Shape

3978 ><![CDATA[copy]]></Shape

3979 ><Info

3980 ><list-int/></Info></Node

3981 ><Node id="N2"

3982 ><Position X="2.0" Y="4.0"

3983 /><Name

3984 ><![CDATA[Node 2]]></Name

3985 ><LabelAbove

3986 >True</LabelAbove

3987 ><Shape

3988 ><![CDATA[evalReturn]]></Shape

3989 ><Info

3990 ><list-int/></Info></Node

3991 ><Node id="N3"

3992 ><Position X="1.5054166666666666" Y="0.579375"

3993 /><Name

3994 ><![CDATA[Node 3]]></Name

3995 ><LabelAbove

3996 >True</LabelAbove

3997 ><Shape

3998 ><![CDATA[interface]]></Shape

3999 ><Info

4000 ><list-int/></Info></Node

4001 ><Node id="N4"

4002 ><Position X="2.5583333333333336" Y="0.579375"

4003 /><Name

4004 ><![CDATA[Node 4]]></Name

4005 ><LabelAbove

4006 >True</LabelAbove

4007 ><Shape

4008 ><![CDATA[interface]]></Shape

4009 ><Info

4010 ><list-int/></Info></Node

4011 ><Node id="N5"

4012 ><Position X="2.008125" Y="5.605833333333333"

4013 /><Name

4014 ><![CDATA[Node 5]]></Name

4015 ><LabelAbove

4016 >True</LabelAbove

4017 ><Shape

4018 ><![CDATA[interface]]></Shape

4019 ><Info

4020 ><list-int/></Info></Node></Nodes

4021 ><Edges

4022 ><Edge id="E1"

4023 ><From

4024 >1</From

4025 ><PortFrom

4026 ><![CDATA[src]]></PortFrom

4027 ><To

4028 >2</To

4029 ><PortTo

4030 ><![CDATA[res]]></PortTo

4031 ><Via

4032 /><Info

4033 ><list-int/></Info></Edge

4034 ><Edge id="E2"

4035 ><From

4036 >1</From

4037 ><PortFrom

4038 ><![CDATA[snd_target]]></PortFrom

4039 ><To

4040 >4</To

4041 ><PortTo

4042 ><![CDATA[interface]]></PortTo

4043 ><Via

4044 /><Info

4045 ><list-int/></Info></Edge

4046 ><Edge id="E3"

4047 ><From

4048 >1</From

4049 ><PortFrom

4050 ><![CDATA[fst_target]]></PortFrom

4051 ><To

4052 >3</To

4053 ><PortTo

4054 ><![CDATA[interface]]></PortTo

4055 ><Via

4056 /><Info

4057 ><list-int/></Info></Edge

4058 ><Edge id="E4"

4059 ><From

4060 >2</From

4061 ><PortFrom

4062 ><![CDATA[arg]]></PortFrom

4063 ><To

4064 >5</To

4065 ><PortTo

4066 ><![CDATA[interface]]></PortTo

4067 ><Via

4068 /><Info

4069 ><list-int/></Info></Edge></Edges></Network></LHS

4070 ><RHS

4071 ><Network Width="15.0" Height="9.0"

4072 ><Info

4073 ><unit/></Info

4074 ><Nodes

4075 ><Node id="N3"

4076 ><Position X="1.5054166666666666" Y="0.6058333333333333"

4077 /><Name

4078 ><![CDATA[Node 3]]></Name

4079 ><LabelAbove

4080 >True</LabelAbove

4081 ><Shape

4082 ><![CDATA[interface]]></Shape

4083 ><Info

4084 ><list-int/></Info></Node

4085 ><Node id="N4"

4086 ><Position X="2.5583333333333336" Y="0.579375"

4087 /><Name

4088 ><![CDATA[Node 4]]></Name

4089 ><LabelAbove

4090 >True</LabelAbove

4091 ><Shape

4092 ><![CDATA[interface]]></Shape

4093 ><Info

4094 ><list-int/></Info></Node

4095 ><Node id="N5"

4096 ><Position X="2.008125" Y="5.605833333333333"

4097 /><Name

4098 ><![CDATA[Node 5]]></Name

4099 ><LabelAbove

4100 >True</LabelAbove

4101 ><Shape

4102 ><![CDATA[interface]]></Shape

4103 ><Info

4104 ><list-int/></Info></Node

4105 ><Node id="N6"

4106 ><Position X="2.0108333333333333" Y="4.101041666666667"

4107 /><Name

4108 ><![CDATA[Node 6]]></Name

4109 ><LabelAbove

4110 >True</LabelAbove

4111 ><Shape

4112 ><![CDATA[copy]]></Shape

4113 ><Info

4114 ><list-int/></Info></Node

4115 ><Node id="N7"

4116 ><Position X="1.349375" Y="2.301875"

4117 /><Name

4118 ><![CDATA[Node 7]]></Name

4119 ><LabelAbove

4120 >True</LabelAbove

4121 ><Shape

4122 ><![CDATA[evalReturn]]></Shape

4123 ><Info

4124 ><list-int/></Info></Node

4125 ><Node id="N8"

4126 ><Position X="2.751666666666667" Y="2.3018750000000003"

4127 /><Name

4128 ><![CDATA[Node 8]]></Name

4129 ><LabelAbove

4130 >True</LabelAbove

4131 ><Shape

4132 ><![CDATA[evalReturn]]></Shape

4133 ><Info

4134 ><list-int/></Info></Node></Nodes

4135 ><Edges

4136 ><Edge id="E1"

4137 ><From

4138 >6</From

4139 ><PortFrom

4140 ><![CDATA[src]]></PortFrom

4141 ><To

4142 >5</To

4143 ><PortTo

4144 ><![CDATA[interface]]></PortTo

4145 ><Via

4146 /><Info

4147 ><list-int/></Info></Edge

4148 ><Edge id="E2"

4149 ><From

4150 >3</From

4151 ><PortFrom

4152 ><![CDATA[interface]]></PortFrom

4153 ><To

4154 >7</To

4155 ><PortTo

4156 ><![CDATA[res]]></PortTo

4157 ><Via

4158 /><Info

4159 ><list-int/></Info></Edge

4160 ><Edge id="E3"

4161 ><From

4162 >4</From

4163 ><PortFrom

4164 ><![CDATA[interface]]></PortFrom

4165 ><To

4166 >8</To

4167 ><PortTo

4168 ><![CDATA[res]]></PortTo

4169 ><Via

4170 /><Info

4171 ><list-int/></Info></Edge

4172 ><Edge id="E4"

4173 ><From

4174 >7</From

4175 ><PortFrom

4176 ><![CDATA[arg]]></PortFrom

4177 ><To

4178 >6</To

4179 ><PortTo

4180 ><![CDATA[fst_target]]></PortTo

4181 ><Via

4182 /><Info

4183 ><list-int/></Info></Edge

4184 ><Edge id="E5"

4185 ><From

4186 >8</From

4187 ><PortFrom

4188 ><![CDATA[arg]]></PortFrom

4189 ><To

4190 >6</To

4191 ><PortTo

4192 ><![CDATA[snd_target]]></PortTo

4193 ><Via

4194 /><Info

4195 ><list-int/></Info></Edge></Edges></Network></RHS

4196 ><Mapping

4197 ><MappingElement lhs="3" rhs="3"

4198 /><MappingElement lhs="4" rhs="4"

4199 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

4200 ><INRule

4201 ><Name

4202 ><![CDATA[Copy_preApplication]]></Name

4203 ><LHS

4204 ><Network Width="15.0" Height="9.0"

4205 ><Info

4206 ><unit/></Info

4207 ><Nodes

4208 ><Node id="N1"

4209 ><Position X="2.0" Y="2.0"

4210 /><Name

4211 ><![CDATA[Node 1]]></Name

4212 ><LabelAbove

4213 >True</LabelAbove

4214 ><Shape

4215 ><![CDATA[copy]]></Shape

4216 ><Info

4217 ><list-int/></Info></Node

4218 ><Node id="N2"

4219 ><Position X="2.0" Y="4.0"

4220 /><Name

4221 ><![CDATA[Node 2]]></Name

4222 ><LabelAbove

4223 >True</LabelAbove

4224 ><Shape

4225 ><![CDATA[beforeApplication]]></Shape

4226 ><Info

4227 ><list-int/></Info></Node

4228 ><Node id="N3"

4229 ><Position X="1.1614583333333335" Y="0.5264583333333334"

4230 /><Name

4231 ><![CDATA[Node 3]]></Name

4232 ><LabelAbove

4233 >True</LabelAbove

4234 ><Shape

4235 ><![CDATA[interface]]></Shape

4236 ><Info

4237 ><list-int/></Info></Node

4238 ><Node id="N4"

4239 ><Position X="2.9022916666666667" Y="0.579375"

4240 /><Name

4241 ><![CDATA[Node 4]]></Name

4242 ><LabelAbove

4243 >True</LabelAbove

4244 ><Shape

4245 ><![CDATA[interface]]></Shape

4246 ><Info

4247 ><list-int/></Info></Node

4248 ><Node id="N5"

4249 ><Position X="2.616666666666667" Y="5.420625"

4250 /><Name

4251 ><![CDATA[Node 5]]></Name

4252 ><LabelAbove

4253 >True</LabelAbove

4254 ><Shape

4255 ><![CDATA[interface]]></Shape

4256 ><Info

4257 ><list-int/></Info></Node

4258 ><Node id="N6"

4259 ><Position X="1.5" Y="5.5"

4260 /><Name

4261 ><![CDATA[Node 6]]></Name

4262 ><LabelAbove

4263 >True</LabelAbove

4264 ><Shape

4265 ><![CDATA[interface]]></Shape

4266 ><Info

4267 ><list-int/></Info></Node></Nodes

4268 ><Edges

4269 ><Edge id="E1"

4270 ><From

4271 >1</From

4272 ><PortFrom

4273 ><![CDATA[src]]></PortFrom

4274 ><To

4275 >2</To

4276 ><PortTo

4277 ><![CDATA[res]]></PortTo

4278 ><Via

4279 /><Info

4280 ><list-int/></Info></Edge

4281 ><Edge id="E2"

4282 ><From

4283 >1</From

4284 ><PortFrom

4285 ><![CDATA[snd_target]]></PortFrom

4286 ><To

4287 >4</To

4288 ><PortTo

4289 ><![CDATA[interface]]></PortTo

4290 ><Via

4291 /><Info

4292 ><list-int/></Info></Edge

4293 ><Edge id="E3"

4294 ><From

4295 >1</From

4296 ><PortFrom

4297 ><![CDATA[fst_target]]></PortFrom

4298 ><To

4299 >3</To

4300 ><PortTo

4301 ><![CDATA[interface]]></PortTo

4302 ><Via

4303 /><Info

4304 ><list-int/></Info></Edge

4305 ><Edge id="E4"

4306 ><From

4307 >2</From

4308 ><PortFrom

4309 ><![CDATA[func]]></PortFrom

4310 ><To

4311 >6</To

4312 ><PortTo

4313 ><![CDATA[interface]]></PortTo

4314 ><Via

4315 /><Info

4316 ><list-int/></Info></Edge

4317 ><Edge id="E5"

4318 ><From

4319 >2</From

4320 ><PortFrom

4321 ><![CDATA[arg]]></PortFrom

4322 ><To

4323 >5</To

4324 ><PortTo

4325 ><![CDATA[interface]]></PortTo

4326 ><Via

4327 /><Info

4328 ><list-int/></Info></Edge></Edges></Network></LHS

4329 ><RHS

4330 ><Network Width="15.0" Height="9.0"

4331 ><Info

4332 ><unit/></Info

4333 ><Nodes

4334 ><Node id="N3"

4335 ><Position X="0.8704166666666667" Y="0.5264583333333334"

4336 /><Name

4337 ><![CDATA[Node 3]]></Name

4338 ><LabelAbove

4339 >True</LabelAbove

4340 ><Shape

4341 ><![CDATA[interface]]></Shape

4342 ><Info

4343 ><list-int/></Info></Node

4344 ><Node id="N4"

4345 ><Position X="2.214374999999999" Y="0.5529166666666667"

4346 /><Name

4347 ><![CDATA[Node 4]]></Name

4348 ><LabelAbove

4349 >True</LabelAbove

4350 ><Shape

4351 ><![CDATA[interface]]></Shape

4352 ><Info

4353 ><list-int/></Info></Node

4354 ><Node id="N5"

4355 ><Position X="0.8439583333333335" Y="5.526458333333333"

4356 /><Name

4357 ><![CDATA[Node 5]]></Name

4358 ><LabelAbove

4359 >True</LabelAbove

4360 ><Shape

4361 ><![CDATA[interface]]></Shape

4362 ><Info

4363 ><list-int/></Info></Node

4364 ><Node id="N6"

4365 ><Position X="2.187916666666666" Y="5.5529166666666665"

4366 /><Name

4367 ><![CDATA[Node 6]]></Name

4368 ><LabelAbove

4369 >True</LabelAbove

4370 ><Shape

4371 ><![CDATA[interface]]></Shape

4372 ><Info

4373 ><list-int/></Info></Node

4374 ><Node id="N7"

4375 ><Position X="0.8466666666666668" Y="1.9314583333333335"

4376 /><Name

4377 ><![CDATA[Node 7]]></Name

4378 ><LabelAbove

4379 >True</LabelAbove

4380 ><Shape

4381 ><![CDATA[beforeApplication]]></Shape

4382 ><Info

4383 ><list-int/></Info></Node

4384 ><Node id="N8"

4385 ><Position X="2.1960416666666664" Y="1.9314583333333335"

4386 /><Name

4387 ><![CDATA[Node 8]]></Name

4388 ><LabelAbove

4389 >True</LabelAbove

4390 ><Shape

4391 ><![CDATA[beforeApplication]]></Shape

4392 ><Info

4393 ><list-int/></Info></Node

4394 ><Node id="N9"

4395 ><Position X="0.846666666666667" Y="4.312708333333333"

4396 /><Name

4397 ><![CDATA[Node 9]]></Name

4398 ><LabelAbove

4399 >True</LabelAbove

4400 ><Shape

4401 ><![CDATA[copy]]></Shape

4402 ><Info

4403 ><list-int/></Info></Node

4404 ><Node id="N10"

4405 ><Position X="2.1960416666666664" Y="4.339166666666667"

4406 /><Name

4407 ><![CDATA[Node 10]]></Name

4408 ><LabelAbove

4409 >True</LabelAbove

4410 ><Shape

4411 ><![CDATA[copy]]></Shape

4412 ><Info

4413 ><list-int/></Info></Node></Nodes

4414 ><Edges

4415 ><Edge id="E1"

4416 ><From

4417 >9</From

4418 ><PortFrom

4419 ><![CDATA[src]]></PortFrom

4420 ><To

4421 >5</To

4422 ><PortTo

4423 ><![CDATA[interface]]></PortTo

4424 ><Via

4425 /><Info

4426 ><list-int/></Info></Edge

4427 ><Edge id="E2"

4428 ><From

4429 >10</From

4430 ><PortFrom

4431 ><![CDATA[src]]></PortFrom

4432 ><To

4433 >6</To

4434 ><PortTo

4435 ><![CDATA[interface]]></PortTo

4436 ><Via

4437 /><Info

4438 ><list-int/></Info></Edge

4439 ><Edge id="E3"

4440 ><From

4441 >3</From

4442 ><PortFrom

4443 ><![CDATA[interface]]></PortFrom

4444 ><To

4445 >7</To

4446 ><PortTo

4447 ><![CDATA[res]]></PortTo

4448 ><Via

4449 /><Info

4450 ><list-int/></Info></Edge

4451 ><Edge id="E4"

4452 ><From

4453 >4</From

4454 ><PortFrom

4455 ><![CDATA[interface]]></PortFrom

4456 ><To

4457 >8</To

4458 ><PortTo

4459 ><![CDATA[res]]></PortTo

4460 ><Via

4461 /><Info

4462 ><list-int/></Info></Edge

4463 ><Edge id="E5"

4464 ><From

4465 >7</From

4466 ><PortFrom

4467 ><![CDATA[func]]></PortFrom

4468 ><To

4469 >9</To

4470 ><PortTo

4471 ><![CDATA[fst_target]]></PortTo

4472 ><Via

4473 /><Info

4474 ><list-int/></Info></Edge

4475 ><Edge id="E6"

4476 ><From

4477 >8</From

4478 ><PortFrom

4479 ><![CDATA[arg]]></PortFrom

4480 ><To

4481 >10</To

4482 ><PortTo

4483 ><![CDATA[snd_target]]></PortTo

4484 ><Via

4485 /><Info

4486 ><list-int/></Info></Edge

4487 ><Edge id="E7"

4488 ><From

4489 >7</From

4490 ><PortFrom

4491 ><![CDATA[arg]]></PortFrom

4492 ><To

4493 >10</To

4494 ><PortTo

4495 ><![CDATA[fst_target]]></PortTo

4496 ><Via

4497 /><Info

4498 ><list-int/></Info></Edge

4499 ><Edge id="E8"

4500 ><From

4501 >8</From

4502 ><PortFrom

4503 ><![CDATA[func]]></PortFrom

4504 ><To

4505 >9</To

4506 ><PortTo

4507 ><![CDATA[snd_target]]></PortTo

4508 ><Via

4509 /><Info

4510 ><list-int/></Info></Edge></Edges></Network></RHS

4511 ><Mapping

4512 ><MappingElement lhs="3" rhs="3"

4513 /><MappingElement lhs="4" rhs="4"

4514 /><MappingElement lhs="5" rhs="6"

4515 /><MappingElement lhs="6" rhs="5"/></Mapping></INRule

4516 ><INRule

4517 ><Name

4518 ><![CDATA[Copy_Duplicator]]></Name

4519 ><LHS

4520 ><Network Width="15.0" Height="9.0"

4521 ><Info

4522 ><unit/></Info

4523 ><Nodes

4524 ><Node id="N1"

4525 ><Position X="2.0" Y="2.0"

4526 /><Name

4527 ><![CDATA[Node 1]]></Name

4528 ><LabelAbove

4529 >True</LabelAbove

4530 ><Shape

4531 ><![CDATA[copy]]></Shape

4532 ><Info

4533 ><list-int/></Info></Node

4534 ><Node id="N2"

4535 ><Position X="3.9735416666666667" Y="1.7883333333333333"

4536 /><Name

4537 ><![CDATA[Node 2]]></Name

4538 ><LabelAbove

4539 >True</LabelAbove

4540 ><Shape

4541 ><![CDATA[duplicator]]></Shape

4542 ><Info

4543 ><list-int/></Info></Node

4544 ><Node id="N3"

4545 ><Position X="1.4789583333333334" Y="0.5"

4546 /><Name

4547 ><![CDATA[Node 3]]></Name

4548 ><LabelAbove

4549 >True</LabelAbove

4550 ><Shape

4551 ><![CDATA[interface]]></Shape

4552 ><Info

4553 ><list-int/></Info></Node

4554 ><Node id="N4"

4555 ><Position X="2.267291666666667" Y="0.5"

4556 /><Name

4557 ><![CDATA[Node 4]]></Name

4558 ><LabelAbove

4559 >True</LabelAbove

4560 ><Shape

4561 ><![CDATA[interface]]></Shape

4562 ><Info

4563 ><list-int/></Info></Node

4564 ><Node id="N5"

4565 ><Position X="3.5318750000000003" Y="0.4735416666666667"

4566 /><Name

4567 ><![CDATA[Node 5]]></Name

4568 ><LabelAbove

4569 >True</LabelAbove

4570 ><Shape

4571 ><![CDATA[interface]]></Shape

4572 ><Info

4573 ><list-int/></Info></Node

4574 ><Node id="N6"

4575 ><Position X="4.690625" Y="0.5"

4576 /><Name

4577 ><![CDATA[Node 6]]></Name

4578 ><LabelAbove

4579 >True</LabelAbove

4580 ><Shape

4581 ><![CDATA[interface]]></Shape

4582 ><Info

4583 ><list-int/></Info></Node></Nodes

4584 ><Edges

4585 ><Edge id="E1"

4586 ><From

4587 >1</From

4588 ><PortFrom

4589 ><![CDATA[src]]></PortFrom

4590 ><To

4591 >2</To

4592 ><PortTo

4593 ><![CDATA[down]]></PortTo

4594 ><Via

4595 /><Info

4596 ><list-int/></Info></Edge

4597 ><Edge id="E2"

4598 ><From

4599 >1</From

4600 ><PortFrom

4601 ><![CDATA[snd_target]]></PortFrom

4602 ><To

4603 >4</To

4604 ><PortTo

4605 ><![CDATA[interface]]></PortTo

4606 ><Via

4607 /><Info

4608 ><list-int/></Info></Edge

4609 ><Edge id="E3"

4610 ><From

4611 >1</From

4612 ><PortFrom

4613 ><![CDATA[fst_target]]></PortFrom

4614 ><To

4615 >3</To

4616 ><PortTo

4617 ><![CDATA[interface]]></PortTo

4618 ><Via

4619 /><Info

4620 ><list-int/></Info></Edge

4621 ><Edge id="E4"

4622 ><From

4623 >2</From

4624 ><PortFrom

4625 ><![CDATA[copy2]]></PortFrom

4626 ><To

4627 >6</To

4628 ><PortTo

4629 ><![CDATA[interface]]></PortTo

4630 ><Via

4631 /><Info

4632 ><list-int/></Info></Edge

4633 ><Edge id="E5"

4634 ><From

4635 >2</From

4636 ><PortFrom

4637 ><![CDATA[copy1]]></PortFrom

4638 ><To

4639 >5</To

4640 ><PortTo

4641 ><![CDATA[interface]]></PortTo

4642 ><Via

4643 /><Info

4644 ><list-int/></Info></Edge></Edges></Network></LHS

4645 ><RHS

4646 ><Network Width="15.0" Height="9.0"

4647 ><Info

4648 ><unit/></Info

4649 ><Nodes

4650 ><Node id="N3"

4651 ><Position X="1.4789583333333334" Y="0.5"

4652 /><Name

4653 ><![CDATA[Node 3]]></Name

4654 ><LabelAbove

4655 >True</LabelAbove

4656 ><Shape

4657 ><![CDATA[interface]]></Shape

4658 ><Info

4659 ><list-int/></Info></Node

4660 ><Node id="N4"

4661 ><Position X="2.29375" Y="0.5"

4662 /><Name

4663 ><![CDATA[Node 4]]></Name

4664 ><LabelAbove

4665 >True</LabelAbove

4666 ><Shape

4667 ><![CDATA[interface]]></Shape

4668 ><Info

4669 ><list-int/></Info></Node

4670 ><Node id="N5"

4671 ><Position X="7.844583333333335" Y="5.500625"

4672 /><Name

4673 ><![CDATA[Node 5]]></Name

4674 ><LabelAbove

4675 >True</LabelAbove

4676 ><Shape

4677 ><![CDATA[interface]]></Shape

4678 ><Info

4679 ><list-int/></Info></Node

4680 ><Node id="N6"

4681 ><Position X="9.267916666666672" Y="5.606458333333333"

4682 /><Name

4683 ><![CDATA[Node 6]]></Name

4684 ><LabelAbove

4685 >True</LabelAbove

4686 ><Shape

4687 ><![CDATA[interface]]></Shape

4688 ><Info

4689 ><list-int/></Info></Node

4690 ><Node id="N7"

4691 ><Position X="7.884583333333335" Y="4.259791666666667"

4692 /><Name

4693 ><![CDATA[Node 7]]></Name

4694 ><LabelAbove

4695 >True</LabelAbove

4696 ><Shape

4697 ><![CDATA[copy]]></Shape

4698 ><Info

4699 ><list-int/></Info></Node

4700 ><Node id="N8"

4701 ><Position X="9.260416666666671" Y="4.312708333333333"

4702 /><Name

4703 ><![CDATA[Node 8]]></Name

4704 ><LabelAbove

4705 >True</LabelAbove

4706 ><Shape

4707 ><![CDATA[copy]]></Shape

4708 ><Info

4709 ><list-int/></Info></Node

4710 ><Node id="N9"

4711 ><Position X="2.460625000000001" Y="3.175000000000001"

4712 /><Name

4713 ><![CDATA[Node 9]]></Name

4714 ><LabelAbove

4715 >True</LabelAbove

4716 ><Shape

4717 ><![CDATA[duplicator]]></Shape

4718 ><Info

4719 ><list-int/></Info></Node

4720 ><Node id="N10"

4721 ><Position X="4.788958333333334" Y="1.2435416666666672"

4722 /><Name

4723 ><![CDATA[Node 10]]></Name

4724 ><LabelAbove

4725 >True</LabelAbove

4726 ><Shape

4727 ><![CDATA[duplicator]]></Shape

4728 ><Info

4729 ><list-int/></Info></Node></Nodes

4730 ><Edges

4731 ><Edge id="E1"

4732 ><From

4733 >7</From

4734 ><PortFrom

4735 ><![CDATA[src]]></PortFrom

4736 ><To

4737 >5</To

4738 ><PortTo

4739 ><![CDATA[interface]]></PortTo

4740 ><Via

4741 /><Info

4742 ><list-int/></Info></Edge

4743 ><Edge id="E2"

4744 ><From

4745 >6</From

4746 ><PortFrom

4747 ><![CDATA[interface]]></PortFrom

4748 ><To

4749 >8</To

4750 ><PortTo

4751 ><![CDATA[src]]></PortTo

4752 ><Via

4753 /><Info

4754 ><list-int/></Info></Edge

4755 ><Edge id="E3"

4756 ><From

4757 >9</From

4758 ><PortFrom

4759 ><![CDATA[down]]></PortFrom

4760 ><To

4761 >3</To

4762 ><PortTo

4763 ><![CDATA[interface]]></PortTo

4764 ><Via

4765 ><Position X="1.4552083333333334" Y="3.6512500000000006"/></Via

4766 ><Info

4767 ><list-int/></Info></Edge

4768 ><Edge id="E4"

4769 ><From

4770 >4</From

4771 ><PortFrom

4772 ><![CDATA[interface]]></PortFrom

4773 ><To

4774 >10</To

4775 ><PortTo

4776 ><![CDATA[down]]></PortTo

4777 ><Via

4778 ><Position X="2.2754166666666666" Y="1.7197916666666666"/></Via

4779 ><Info

4780 ><list-int/></Info></Edge

4781 ><Edge id="E5"

4782 ><From

4783 >9</From

4784 ><PortFrom

4785 ><![CDATA[copy2]]></PortFrom

4786 ><To

4787 >8</To

4788 ><PortTo

4789 ><![CDATA[snd_target]]></PortTo

4790 ><Via

4791 ><Position X="9.551458333333334" Y="2.857500000000001"/></Via

4792 ><Info

4793 ><list-int/></Info></Edge

4794 ><Edge id="E6"

4795 ><From

4796 >7</From

4797 ><PortFrom

4798 ><![CDATA[fst_target]]></PortFrom

4799 ><To

4800 >10</To

4801 ><PortTo

4802 ><![CDATA[copy1]]></PortTo

4803 ><Via

4804 ><Position X="7.567083333333334" Y="0.39687500000000003"

4805 /><Position X="4.4714583333333335" Y="0.3968750000000003"/></Via

4806 ><Info

4807 ><list-int/></Info></Edge

4808 ><Edge id="E7"

4809 ><From

4810 >10</From

4811 ><PortFrom

4812 ><![CDATA[copy2]]></PortFrom

4813 ><To

4814 >8</To

4815 ><PortTo

4816 ><![CDATA[fst_target]]></PortTo

4817 ><Via

4818 ><Position X="8.942916666666669" Y="0.9260416666666667"/></Via

4819 ><Info

4820 ><list-int/></Info></Edge

4821 ><Edge id="E8"

4822 ><From

4823 >9</From

4824 ><PortFrom

4825 ><![CDATA[copy1]]></PortFrom

4826 ><To

4827 >7</To

4828 ><PortTo

4829 ><![CDATA[snd_target]]></PortTo

4830 ><Via

4831 ><Position X="2.1431250000000004" Y="2.248958333333334"

4832 /><Position X="8.202083333333333" Y="2.248958333333334"/></Via

4833 ><Info

4834 ><list-int/></Info></Edge></Edges></Network></RHS

4835 ><Mapping

4836 ><MappingElement lhs="3" rhs="3"

4837 /><MappingElement lhs="4" rhs="4"

4838 /><MappingElement lhs="5" rhs="5"

4839 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

4840 ><INRule

4841 ><Name

4842 ><![CDATA[Duplicator_Lambda]]></Name

4843 ><LHS

4844 ><Network Width="15.0" Height="9.0"

4845 ><Info

4846 ><unit/></Info

4847 ><Nodes

4848 ><Node id="N1"

4849 ><Position X="2.0" Y="2.0"

4850 /><Name

4851 ><![CDATA[Node 1]]></Name

4852 ><LabelAbove

4853 >True</LabelAbove

4854 ><Shape

4855 ><![CDATA[duplicator]]></Shape

4856 ><Info

4857 ><list-int/></Info></Node

4858 ><Node id="N2"

4859 ><Position X="2.0" Y="4.0"

4860 /><Name

4861 ><![CDATA[Node 2]]></Name

4862 ><LabelAbove

4863 >True</LabelAbove

4864 ><Shape

4865 ><![CDATA[lambda]]></Shape

4866 ><Info

4867 ><list-int/></Info></Node

4868 ><Node id="N3"

4869 ><Position X="0.9233333333333333" Y="0.5"

4870 /><Name

4871 ><![CDATA[Node 3]]></Name

4872 ><LabelAbove

4873 >True</LabelAbove

4874 ><Shape

4875 ><![CDATA[interface]]></Shape

4876 ><Info

4877 ><list-int/></Info></Node

4878 ><Node id="N4"

4879 ><Position X="2.92875" Y="0.5529166666666667"

4880 /><Name

4881 ><![CDATA[Node 4]]></Name

4882 ><LabelAbove

4883 >True</LabelAbove

4884 ><Shape

4885 ><![CDATA[interface]]></Shape

4886 ><Info

4887 ><list-int/></Info></Node

4888 ><Node id="N5"

4889 ><Position X="2.6695833333333336" Y="5.4470833333333335"

4890 /><Name

4891 ><![CDATA[Node 5]]></Name

4892 ><LabelAbove

4893 >True</LabelAbove

4894 ><Shape

4895 ><![CDATA[interface]]></Shape

4896 ><Info

4897 ><list-int/></Info></Node

4898 ><Node id="N6"

4899 ><Position X="1.3147916666666666" Y="5.473541666666667"

4900 /><Name

4901 ><![CDATA[Node 6]]></Name

4902 ><LabelAbove

4903 >True</LabelAbove

4904 ><Shape

4905 ><![CDATA[interface]]></Shape

4906 ><Info

4907 ><list-int/></Info></Node></Nodes

4908 ><Edges

4909 ><Edge id="E1"

4910 ><From

4911 >1</From

4912 ><PortFrom

4913 ><![CDATA[down]]></PortFrom

4914 ><To

4915 >2</To

4916 ><PortTo

4917 ><![CDATA[res]]></PortTo

4918 ><Via

4919 /><Info

4920 ><list-int/></Info></Edge

4921 ><Edge id="E2"

4922 ><From

4923 >1</From

4924 ><PortFrom

4925 ><![CDATA[copy2]]></PortFrom

4926 ><To

4927 >4</To

4928 ><PortTo

4929 ><![CDATA[interface]]></PortTo

4930 ><Via

4931 /><Info

4932 ><list-int/></Info></Edge

4933 ><Edge id="E3"

4934 ><From

4935 >1</From

4936 ><PortFrom

4937 ><![CDATA[copy1]]></PortFrom

4938 ><To

4939 >3</To

4940 ><PortTo

4941 ><![CDATA[interface]]></PortTo

4942 ><Via

4943 /><Info

4944 ><list-int/></Info></Edge

4945 ><Edge id="E4"

4946 ><From

4947 >2</From

4948 ><PortFrom

4949 ><![CDATA[var]]></PortFrom

4950 ><To

4951 >6</To

4952 ><PortTo

4953 ><![CDATA[interface]]></PortTo

4954 ><Via

4955 /><Info

4956 ><list-int/></Info></Edge

4957 ><Edge id="E5"

4958 ><From

4959 >2</From

4960 ><PortFrom

4961 ><![CDATA[body]]></PortFrom

4962 ><To

4963 >5</To

4964 ><PortTo

4965 ><![CDATA[interface]]></PortTo

4966 ><Via

4967 /><Info

4968 ><list-int/></Info></Edge></Edges></Network></LHS

4969 ><RHS

4970 ><Network Width="15.0" Height="9.0"

4971 ><Info

4972 ><unit/></Info

4973 ><Nodes

4974 ><Node id="N3"

4975 ><Position X="0.9233333333333333" Y="0.5264583333333334"

4976 /><Name

4977 ><![CDATA[Node 3]]></Name

4978 ><LabelAbove

4979 >True</LabelAbove

4980 ><Shape

4981 ><![CDATA[interface]]></Shape

4982 ><Info

4983 ><list-int/></Info></Node

4984 ><Node id="N4"

4985 ><Position X="2.92875" Y="0.5529166666666667"

4986 /><Name

4987 ><![CDATA[Node 4]]></Name

4988 ><LabelAbove

4989 >True</LabelAbove

4990 ><Shape

4991 ><![CDATA[interface]]></Shape

4992 ><Info

4993 ><list-int/></Info></Node

4994 ><Node id="N5"

4995 ><Position X="2.907708333333334" Y="5.579375"

4996 /><Name

4997 ><![CDATA[Node 5]]></Name

4998 ><LabelAbove

4999 >True</LabelAbove

5000 ><Shape

5001 ><![CDATA[interface]]></Shape

5002 ><Info

5003 ><list-int/></Info></Node

5004 ><Node id="N6"

5005 ><Position X="0.9179166666666665" Y="5.579375"

5006 /><Name

5007 ><![CDATA[Node 6]]></Name

5008 ><LabelAbove

5009 >True</LabelAbove

5010 ><Shape

5011 ><![CDATA[interface]]></Shape

5012 ><Info

5013 ><list-int/></Info></Node

5014 ><Node id="N7"

5015 ><Position X="0.9260416666666668" Y="4.153958333333334"

5016 /><Name

5017 ><![CDATA[Node 7]]></Name

5018 ><LabelAbove

5019 >True</LabelAbove

5020 ><Shape

5021 ><![CDATA[duplicator]]></Shape

5022 ><Info

5023 ><list-int/></Info></Node

5024 ><Node id="N8"

5025 ><Position X="2.9104166666666673" Y="4.153958333333334"

5026 /><Name

5027 ><![CDATA[Node 8]]></Name

5028 ><LabelAbove

5029 >True</LabelAbove

5030 ><Shape

5031 ><![CDATA[duplicator]]></Shape

5032 ><Info

5033 ><list-int/></Info></Node

5034 ><Node id="N9"

5035 ><Position X="0.9260416666666667" Y="1.8785416666666668"

5036 /><Name

5037 ><![CDATA[Node 9]]></Name

5038 ><LabelAbove

5039 >True</LabelAbove

5040 ><Shape

5041 ><![CDATA[lambda]]></Shape

5042 ><Info

5043 ><list-int/></Info></Node

5044 ><Node id="N10"

5045 ><Position X="2.910416666666667" Y="1.905"

5046 /><Name

5047 ><![CDATA[Node 10]]></Name

5048 ><LabelAbove

5049 >True</LabelAbove

5050 ><Shape

5051 ><![CDATA[lambda]]></Shape

5052 ><Info

5053 ><list-int/></Info></Node></Nodes

5054 ><Edges

5055 ><Edge id="E1"

5056 ><From

5057 >7</From

5058 ><PortFrom

5059 ><![CDATA[down]]></PortFrom

5060 ><To

5061 >6</To

5062 ><PortTo

5063 ><![CDATA[interface]]></PortTo

5064 ><Via

5065 /><Info

5066 ><list-int/></Info></Edge

5067 ><Edge id="E2"

5068 ><From

5069 >8</From

5070 ><PortFrom

5071 ><![CDATA[down]]></PortFrom

5072 ><To

5073 >5</To

5074 ><PortTo

5075 ><![CDATA[interface]]></PortTo

5076 ><Via

5077 /><Info

5078 ><list-int/></Info></Edge

5079 ><Edge id="E3"

5080 ><From

5081 >3</From

5082 ><PortFrom

5083 ><![CDATA[interface]]></PortFrom

5084 ><To

5085 >9</To

5086 ><PortTo

5087 ><![CDATA[res]]></PortTo

5088 ><Via

5089 /><Info

5090 ><list-int/></Info></Edge

5091 ><Edge id="E4"

5092 ><From

5093 >4</From

5094 ><PortFrom

5095 ><![CDATA[interface]]></PortFrom

5096 ><To

5097 >10</To

5098 ><PortTo

5099 ><![CDATA[res]]></PortTo

5100 ><Via

5101 /><Info

5102 ><list-int/></Info></Edge

5103 ><Edge id="E5"

5104 ><From

5105 >7</From

5106 ><PortFrom

5107 ><![CDATA[copy1]]></PortFrom

5108 ><To

5109 >9</To

5110 ><PortTo

5111 ><![CDATA[var]]></PortTo

5112 ><Via

5113 /><Info

5114 ><list-int/></Info></Edge

5115 ><Edge id="E6"

5116 ><From

5117 >9</From

5118 ><PortFrom

5119 ><![CDATA[body]]></PortFrom

5120 ><To

5121 >8</To

5122 ><PortTo

5123 ><![CDATA[copy1]]></PortTo

5124 ><Via

5125 /><Info

5126 ><list-int/></Info></Edge

5127 ><Edge id="E7"

5128 ><From

5129 >10</From

5130 ><PortFrom

5131 ><![CDATA[var]]></PortFrom

5132 ><To

5133 >7</To

5134 ><PortTo

5135 ><![CDATA[copy2]]></PortTo

5136 ><Via

5137 /><Info

5138 ><list-int/></Info></Edge

5139 ><Edge id="E8"

5140 ><From

5141 >10</From

5142 ><PortFrom

5143 ><![CDATA[body]]></PortFrom

5144 ><To

5145 >8</To

5146 ><PortTo

5147 ><![CDATA[copy2]]></PortTo

5148 ><Via

5149 /><Info

5150 ><list-int/></Info></Edge></Edges></Network></RHS

5151 ><Mapping

5152 ><MappingElement lhs="3" rhs="3"

5153 /><MappingElement lhs="4" rhs="4"

5154 /><MappingElement lhs="5" rhs="5"

5155 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

5156 ><INRule

5157 ><Name

5158 ><![CDATA[Duplicator_Application]]></Name

5159 ><LHS

5160 ><Network Width="15.0" Height="9.0"

5161 ><Info

5162 ><unit/></Info

5163 ><Nodes

5164 ><Node id="N1"

5165 ><Position X="2.0" Y="2.0"

5166 /><Name

5167 ><![CDATA[Node 1]]></Name

5168 ><LabelAbove

5169 >True</LabelAbove

5170 ><Shape

5171 ><![CDATA[duplicator]]></Shape

5172 ><Info

5173 ><list-int/></Info></Node

5174 ><Node id="N2"

5175 ><Position X="3.576666666666666" Y="3.444375"

5176 /><Name

5177 ><![CDATA[Node 2]]></Name

5178 ><LabelAbove

5179 >True</LabelAbove

5180 ><Shape

5181 ><![CDATA[application]]></Shape

5182 ><Info

5183 ><list-int/></Info></Node

5184 ><Node id="N3"

5185 ><Position X="1.3466666666666667" Y="0.47354166666666664"

5186 /><Name

5187 ><![CDATA[Node 3]]></Name

5188 ><LabelAbove

5189 >True</LabelAbove

5190 ><Shape

5191 ><![CDATA[interface]]></Shape

5192 ><Info

5193 ><list-int/></Info></Node

5194 ><Node id="N4"

5195 ><Position X="2.584791666666667" Y="0.5529166666666667"

5196 /><Name

5197 ><![CDATA[Node 4]]></Name

5198 ><LabelAbove

5199 >True</LabelAbove

5200 ><Shape

5201 ><![CDATA[interface]]></Shape

5202 ><Info

5203 ><list-int/></Info></Node

5204 ><Node id="N5"

5205 ><Position X="5.860208333333334" Y="2.8283333333333336"

5206 /><Name

5207 ><![CDATA[Node 5]]></Name

5208 ><LabelAbove

5209 >True</LabelAbove

5210 ><Shape

5211 ><![CDATA[interface]]></Shape

5212 ><Info

5213 ><list-int/></Info></Node

5214 ><Node id="N6"

5215 ><Position X="4.839166666666666" Y="5.288333333333334"

5216 /><Name

5217 ><![CDATA[Node 6]]></Name

5218 ><LabelAbove

5219 >True</LabelAbove

5220 ><Shape

5221 ><![CDATA[interface]]></Shape

5222 ><Info

5223 ><list-int/></Info></Node></Nodes

5224 ><Edges

5225 ><Edge id="E1"

5226 ><From

5227 >1</From

5228 ><PortFrom

5229 ><![CDATA[down]]></PortFrom

5230 ><To

5231 >2</To

5232 ><PortTo

5233 ><![CDATA[func]]></PortTo

5234 ><Via

5235 /><Info

5236 ><list-int/></Info></Edge

5237 ><Edge id="E2"

5238 ><From

5239 >1</From

5240 ><PortFrom

5241 ><![CDATA[copy2]]></PortFrom

5242 ><To

5243 >4</To

5244 ><PortTo

5245 ><![CDATA[interface]]></PortTo

5246 ><Via

5247 /><Info

5248 ><list-int/></Info></Edge

5249 ><Edge id="E3"

5250 ><From

5251 >1</From

5252 ><PortFrom

5253 ><![CDATA[copy1]]></PortFrom

5254 ><To

5255 >3</To

5256 ><PortTo

5257 ><![CDATA[interface]]></PortTo

5258 ><Via

5259 /><Info

5260 ><list-int/></Info></Edge

5261 ><Edge id="E4"

5262 ><From

5263 >2</From

5264 ><PortFrom

5265 ><![CDATA[arg]]></PortFrom

5266 ><To

5267 >6</To

5268 ><PortTo

5269 ><![CDATA[interface]]></PortTo

5270 ><Via

5271 /><Info

5272 ><list-int/></Info></Edge

5273 ><Edge id="E5"

5274 ><From

5275 >2</From

5276 ><PortFrom

5277 ><![CDATA[res]]></PortFrom

5278 ><To

5279 >5</To

5280 ><PortTo

5281 ><![CDATA[interface]]></PortTo

5282 ><Via

5283 /><Info

5284 ><list-int/></Info></Edge></Edges></Network></LHS

5285 ><RHS

5286 ><Network Width="15.0" Height="9.0"

5287 ><Info

5288 ><unit/></Info

5289 ><Nodes

5290 ><Node id="N3"

5291 ><Position X="1.3466666666666667" Y="0.47354166666666664"

5292 /><Name

5293 ><![CDATA[Node 3]]></Name

5294 ><LabelAbove

5295 >True</LabelAbove

5296 ><Shape

5297 ><![CDATA[interface]]></Shape

5298 ><Info

5299 ><list-int/></Info></Node

5300 ><Node id="N4"

5301 ><Position X="3.378541666666667" Y="0.44708333333333333"

5302 /><Name

5303 ><![CDATA[Node 4]]></Name

5304 ><LabelAbove

5305 >True</LabelAbove

5306 ><Shape

5307 ><![CDATA[interface]]></Shape

5308 ><Info

5309 ><list-int/></Info></Node

5310 ><Node id="N5"

5311 ><Position X="8.082708333333334" Y="4.495208333333334"

5312 /><Name

5313 ><![CDATA[Node 5]]></Name

5314 ><LabelAbove

5315 >True</LabelAbove

5316 ><Shape

5317 ><![CDATA[interface]]></Shape

5318 ><Info

5319 ><list-int/></Info></Node

5320 ><Node id="N6"

5321 ><Position X="3.039999999999999" Y="5.870416666666667"

5322 /><Name

5323 ><![CDATA[Node 6]]></Name

5324 ><LabelAbove

5325 >True</LabelAbove

5326 ><Shape

5327 ><![CDATA[interface]]></Shape

5328 ><Info

5329 ><list-int/></Info></Node

5330 ><Node id="N7"

5331 ><Position X="2.196041666666667" Y="2.037291666666667"

5332 /><Name

5333 ><![CDATA[Node 7]]></Name

5334 ><LabelAbove

5335 >True</LabelAbove

5336 ><Shape

5337 ><![CDATA[application]]></Shape

5338 ><Info

5339 ><list-int/></Info></Node

5340 ><Node id="N8"

5341 ><Position X="4.180416666666667" Y="2.0902083333333334"

5342 /><Name

5343 ><![CDATA[Node 8]]></Name

5344 ><LabelAbove

5345 >True</LabelAbove

5346 ><Shape

5347 ><![CDATA[application]]></Shape

5348 ><Info

5349 ><list-int/></Info></Node

5350 ><Node id="N9"

5351 ><Position X="3.0427083333333336" Y="4.101041666666667"

5352 /><Name

5353 ><![CDATA[Node 9]]></Name

5354 ><LabelAbove

5355 >True</LabelAbove

5356 ><Shape

5357 ><![CDATA[duplicator]]></Shape

5358 ><Info

5359 ><list-int/></Info></Node

5360 ><Node id="N10"

5361 ><Position X="8.096249999999998" Y="2.7781249999999997"

5362 /><Name

5363 ><![CDATA[Node 10]]></Name

5364 ><LabelAbove

5365 >True</LabelAbove

5366 ><Shape

5367 ><![CDATA[duplicator]]></Shape

5368 ><Info

5369 ><list-int/></Info></Node></Nodes

5370 ><Edges

5371 ><Edge id="E1"

5372 ><From

5373 >7</From

5374 ><PortFrom

5375 ><![CDATA[func]]></PortFrom

5376 ><To

5377 >3</To

5378 ><PortTo

5379 ><![CDATA[interface]]></PortTo

5380 ><Via

5381 ><Position X="1.3229166666666667" Y="2.3018750000000003"/></Via

5382 ><Info

5383 ><list-int/></Info></Edge

5384 ><Edge id="E2"

5385 ><From

5386 >4</From

5387 ><PortFrom

5388 ><![CDATA[interface]]></PortFrom

5389 ><To

5390 >8</To

5391 ><PortTo

5392 ><![CDATA[func]]></PortTo

5393 ><Via

5394 ><Position X="3.360208333333334" Y="2.38125"/></Via

5395 ><Info

5396 ><list-int/></Info></Edge

5397 ><Edge id="E3"

5398 ><From

5399 >10</From

5400 ><PortFrom

5401 ><![CDATA[down]]></PortFrom

5402 ><To

5403 >5</To

5404 ><PortTo

5405 ><![CDATA[interface]]></PortTo

5406 ><Via

5407 /><Info

5408 ><list-int/></Info></Edge

5409 ><Edge id="E4"

5410 ><From

5411 >9</From

5412 ><PortFrom

5413 ><![CDATA[down]]></PortFrom

5414 ><To

5415 >6</To

5416 ><PortTo

5417 ><![CDATA[interface]]></PortTo

5418 ><Via

5419 /><Info

5420 ><list-int/></Info></Edge

5421 ><Edge id="E5"

5422 ><From

5423 >10</From

5424 ><PortFrom

5425 ><![CDATA[copy1]]></PortFrom

5426 ><To

5427 >7</To

5428 ><PortTo

5429 ><![CDATA[res]]></PortTo

5430 ><Via

5431 ><Position X="7.7787500000000005" Y="1.2964583333333335"

5432 /><Position X="2.1695833333333336" Y="1.2964583333333335"/></Via

5433 ><Info

5434 ><list-int/></Info></Edge

5435 ><Edge id="E6"

5436 ><From

5437 >8</From

5438 ><PortFrom

5439 ><![CDATA[res]]></PortFrom

5440 ><To

5441 >10</To

5442 ><PortTo

5443 ><![CDATA[copy2]]></PortTo

5444 ><Via

5445 ><Position X="4.153958333333334" Y="0.6879166666666666"

5446 /><Position X="8.413749999999999" Y="0.6879166666666665"/></Via

5447 ><Info

5448 ><list-int/></Info></Edge

5449 ><Edge id="E7"

5450 ><From

5451 >9</From

5452 ><PortFrom

5453 ><![CDATA[copy1]]></PortFrom

5454 ><To

5455 >7</To

5456 ><PortTo

5457 ><![CDATA[arg]]></PortTo

5458 ><Via

5459 /><Info

5460 ><list-int/></Info></Edge

5461 ><Edge id="E8"

5462 ><From

5463 >8</From

5464 ><PortFrom

5465 ><![CDATA[arg]]></PortFrom

5466 ><To

5467 >9</To

5468 ><PortTo

5469 ><![CDATA[copy2]]></PortTo

5470 ><Via

5471 /><Info

5472 ><list-int/></Info></Edge></Edges></Network></RHS

5473 ><Mapping

5474 ><MappingElement lhs="3" rhs="3"

5475 /><MappingElement lhs="4" rhs="4"

5476 /><MappingElement lhs="5" rhs="5"

5477 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

5478 ><INRule

5479 ><Name

5480 ><![CDATA[Duplicator_Evaluator]]></Name

5481 ><LHS

5482 ><Network Width="15.0" Height="9.0"

5483 ><Info

5484 ><unit/></Info

5485 ><Nodes

5486 ><Node id="N1"

5487 ><Position X="2.0" Y="2.0"

5488 /><Name

5489 ><![CDATA[Node 1]]></Name

5490 ><LabelAbove

5491 >True</LabelAbove

5492 ><Shape

5493 ><![CDATA[duplicator]]></Shape

5494 ><Info

5495 ><list-int/></Info></Node

5496 ><Node id="N2"

5497 ><Position X="4.0" Y="2.0"

5498 /><Name

5499 ><![CDATA[Node 2]]></Name

5500 ><LabelAbove

5501 >True</LabelAbove

5502 ><Shape

5503 ><![CDATA[evaluation]]></Shape

5504 ><Info

5505 ><list-int/></Info></Node

5506 ><Node id="N3"

5507 ><Position X="1.5847916666666668" Y="0.5529166666666666"

5508 /><Name

5509 ><![CDATA[Node 3]]></Name

5510 ><LabelAbove

5511 >True</LabelAbove

5512 ><Shape

5513 ><![CDATA[interface]]></Shape

5514 ><Info

5515 ><list-int/></Info></Node

5516 ><Node id="N4"

5517 ><Position X="2.426041666666667" Y="0.5529166666666667"

5518 /><Name

5519 ><![CDATA[Node 4]]></Name

5520 ><LabelAbove

5521 >True</LabelAbove

5522 ><Shape

5523 ><![CDATA[interface]]></Shape

5524 ><Info

5525 ><list-int/></Info></Node

5526 ><Node id="N5"

5527 ><Position X="4.008125" Y="0.44708333333333333"

5528 /><Name

5529 ><![CDATA[Node 5]]></Name

5530 ><LabelAbove

5531 >True</LabelAbove

5532 ><Shape

5533 ><![CDATA[interface]]></Shape

5534 ><Info

5535 ><list-int/></Info></Node></Nodes

5536 ><Edges

5537 ><Edge id="E1"

5538 ><From

5539 >1</From

5540 ><PortFrom

5541 ><![CDATA[down]]></PortFrom

5542 ><To

5543 >2</To

5544 ><PortTo

5545 ><![CDATA[arg]]></PortTo

5546 ><Via

5547 /><Info

5548 ><list-int/></Info></Edge

5549 ><Edge id="E2"

5550 ><From

5551 >1</From

5552 ><PortFrom

5553 ><![CDATA[copy2]]></PortFrom

5554 ><To

5555 >4</To

5556 ><PortTo

5557 ><![CDATA[interface]]></PortTo

5558 ><Via

5559 /><Info

5560 ><list-int/></Info></Edge

5561 ><Edge id="E3"

5562 ><From

5563 >1</From

5564 ><PortFrom

5565 ><![CDATA[copy1]]></PortFrom

5566 ><To

5567 >3</To

5568 ><PortTo

5569 ><![CDATA[interface]]></PortTo

5570 ><Via

5571 /><Info

5572 ><list-int/></Info></Edge

5573 ><Edge id="E4"

5574 ><From

5575 >2</From

5576 ><PortFrom

5577 ><![CDATA[res]]></PortFrom

5578 ><To

5579 >5</To

5580 ><PortTo

5581 ><![CDATA[interface]]></PortTo

5582 ><Via

5583 /><Info

5584 ><list-int/></Info></Edge></Edges></Network></LHS

5585 ><RHS

5586 ><Network Width="15.0" Height="9.0"

5587 ><Info

5588 ><unit/></Info

5589 ><Nodes

5590 ><Node id="N3"

5591 ><Position X="1.5847916666666668" Y="0.5529166666666666"

5592 /><Name

5593 ><![CDATA[Node 3]]></Name

5594 ><LabelAbove

5595 >True</LabelAbove

5596 ><Shape

5597 ><![CDATA[interface]]></Shape

5598 ><Info

5599 ><list-int/></Info></Node

5600 ><Node id="N4"

5601 ><Position X="5.257083333333336" Y="0.5793750000000001"

5602 /><Name

5603 ><![CDATA[Node 4]]></Name

5604 ><LabelAbove

5605 >True</LabelAbove

5606 ><Shape

5607 ><![CDATA[interface]]></Shape

5608 ><Info

5609 ><list-int/></Info></Node

5610 ><Node id="N5"

5611 ><Position X="3.2672916666666674" Y="5.7387500000000005"

5612 /><Name

5613 ><![CDATA[Node 5]]></Name

5614 ><LabelAbove

5615 >True</LabelAbove

5616 ><Shape

5617 ><![CDATA[interface]]></Shape

5618 ><Info

5619 ><list-int/></Info></Node

5620 ><Node id="N6"

5621 ><Position X="2.3283333333333336" Y="1.878541666666667"

5622 /><Name

5623 ><![CDATA[Node 6]]></Name

5624 ><LabelAbove

5625 >True</LabelAbove

5626 ><Shape

5627 ><![CDATA[evaluation]]></Shape

5628 ><Info

5629 ><list-int/></Info></Node

5630 ><Node id="N7"

5631 ><Position X="4.471458333333333" Y="1.878541666666667"

5632 /><Name

5633 ><![CDATA[Node 7]]></Name

5634 ><LabelAbove

5635 >True</LabelAbove

5636 ><Shape

5637 ><![CDATA[evaluation]]></Shape

5638 ><Info

5639 ><list-int/></Info></Node

5640 ><Node id="N8"

5641 ><Position X="3.2808333333333337" Y="4.048125000000001"

5642 /><Name

5643 ><![CDATA[Node 8]]></Name

5644 ><LabelAbove

5645 >True</LabelAbove

5646 ><Shape

5647 ><![CDATA[duplicator]]></Shape

5648 ><Info

5649 ><list-int/></Info></Node></Nodes

5650 ><Edges

5651 ><Edge id="E1"

5652 ><From

5653 >6</From

5654 ><PortFrom

5655 ><![CDATA[arg]]></PortFrom

5656 ><To

5657 >3</To

5658 ><PortTo

5659 ><![CDATA[interface]]></PortTo

5660 ><Via

5661 ><Position X="1.5610416666666669" Y="2.3547916666666673"/></Via

5662 ><Info

5663 ><list-int/></Info></Edge

5664 ><Edge id="E2"

5665 ><From

5666 >4</From

5667 ><PortFrom

5668 ><![CDATA[interface]]></PortFrom

5669 ><To

5670 >7</To

5671 ><PortTo

5672 ><![CDATA[arg]]></PortTo

5673 ><Via

5674 ><Position X="5.238750000000001" Y="2.354791666666667"/></Via

5675 ><Info

5676 ><list-int/></Info></Edge

5677 ><Edge id="E3"

5678 ><From

5679 >5</From

5680 ><PortFrom

5681 ><![CDATA[interface]]></PortFrom

5682 ><To

5683 >8</To

5684 ><PortTo

5685 ><![CDATA[down]]></PortTo

5686 ><Via

5687 /><Info

5688 ><list-int/></Info></Edge

5689 ><Edge id="E4"

5690 ><From

5691 >8</From

5692 ><PortFrom

5693 ><![CDATA[copy1]]></PortFrom

5694 ><To

5695 >6</To

5696 ><PortTo

5697 ><![CDATA[res]]></PortTo

5698 ><Via

5699 ><Position X="2.9633333333333334" Y="1.3758333333333337"/></Via

5700 ><Info

5701 ><list-int/></Info></Edge

5702 ><Edge id="E5"

5703 ><From

5704 >7</From

5705 ><PortFrom

5706 ><![CDATA[res]]></PortFrom

5707 ><To

5708 >8</To

5709 ><PortTo

5710 ><![CDATA[copy2]]></PortTo

5711 ><Via

5712 ><Position X="3.5718750000000004" Y="1.3758333333333337"/></Via

5713 ><Info

5714 ><list-int/></Info></Edge></Edges></Network></RHS

5715 ><Mapping

5716 ><MappingElement lhs="3" rhs="3"

5717 /><MappingElement lhs="4" rhs="4"

5718 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

5719 ><INRule

5720 ><Name

5721 ><![CDATA[Duplicator_EvaluatorReturning]]></Name

5722 ><LHS

5723 ><Network Width="15.0" Height="9.0"

5724 ><Info

5725 ><unit/></Info

5726 ><Nodes

5727 ><Node id="N1"

5728 ><Position X="2.0" Y="2.0"

5729 /><Name

5730 ><![CDATA[Node 1]]></Name

5731 ><LabelAbove

5732 >True</LabelAbove

5733 ><Shape

5734 ><![CDATA[duplicator]]></Shape

5735 ><Info

5736 ><list-int/></Info></Node

5737 ><Node id="N2"

5738 ><Position X="2.0" Y="4.0"

5739 /><Name

5740 ><![CDATA[Node 2]]></Name

5741 ><LabelAbove

5742 >True</LabelAbove

5743 ><Shape

5744 ><![CDATA[evalReturn]]></Shape

5745 ><Info

5746 ><list-int/></Info></Node

5747 ><Node id="N3"

5748 ><Position X="1.1349999999999998" Y="0.44708333333333333"

5749 /><Name

5750 ><![CDATA[Node 3]]></Name

5751 ><LabelAbove

5752 >True</LabelAbove

5753 ><Shape

5754 ><![CDATA[interface]]></Shape

5755 ><Info

5756 ><list-int/></Info></Node

5757 ><Node id="N4"

5758 ><Position X="3.0081249999999997" Y="0.5529166666666667"

5759 /><Name

5760 ><![CDATA[Node 4]]></Name

5761 ><LabelAbove

5762 >True</LabelAbove

5763 ><Shape

5764 ><![CDATA[interface]]></Shape

5765 ><Info

5766 ><list-int/></Info></Node

5767 ><Node id="N5"

5768 ><Position X="2.008125" Y="5.5529166666666665"

5769 /><Name

5770 ><![CDATA[Node 5]]></Name

5771 ><LabelAbove

5772 >True</LabelAbove

5773 ><Shape

5774 ><![CDATA[interface]]></Shape

5775 ><Info

5776 ><list-int/></Info></Node></Nodes

5777 ><Edges

5778 ><Edge id="E1"

5779 ><From

5780 >1</From

5781 ><PortFrom

5782 ><![CDATA[down]]></PortFrom

5783 ><To

5784 >2</To

5785 ><PortTo

5786 ><![CDATA[res]]></PortTo

5787 ><Via

5788 /><Info

5789 ><list-int/></Info></Edge

5790 ><Edge id="E2"

5791 ><From

5792 >1</From

5793 ><PortFrom

5794 ><![CDATA[copy2]]></PortFrom

5795 ><To

5796 >4</To

5797 ><PortTo

5798 ><![CDATA[interface]]></PortTo

5799 ><Via

5800 /><Info

5801 ><list-int/></Info></Edge

5802 ><Edge id="E3"

5803 ><From

5804 >1</From

5805 ><PortFrom

5806 ><![CDATA[copy1]]></PortFrom

5807 ><To

5808 >3</To

5809 ><PortTo

5810 ><![CDATA[interface]]></PortTo

5811 ><Via

5812 /><Info

5813 ><list-int/></Info></Edge

5814 ><Edge id="E4"

5815 ><From

5816 >2</From

5817 ><PortFrom

5818 ><![CDATA[arg]]></PortFrom

5819 ><To

5820 >5</To

5821 ><PortTo

5822 ><![CDATA[interface]]></PortTo

5823 ><Via

5824 /><Info

5825 ><list-int/></Info></Edge></Edges></Network></LHS

5826 ><RHS

5827 ><Network Width="15.0" Height="9.0"

5828 ><Info

5829 ><unit/></Info

5830 ><Nodes

5831 ><Node id="N3"

5832 ><Position X="1.1349999999999998" Y="0.44708333333333333"

5833 /><Name

5834 ><![CDATA[Node 3]]></Name

5835 ><LabelAbove

5836 >True</LabelAbove

5837 ><Shape

5838 ><![CDATA[interface]]></Shape

5839 ><Info

5840 ><list-int/></Info></Node

5841 ><Node id="N4"

5842 ><Position X="3.0081249999999997" Y="0.5529166666666667"

5843 /><Name

5844 ><![CDATA[Node 4]]></Name

5845 ><LabelAbove

5846 >True</LabelAbove

5847 ><Shape

5848 ><![CDATA[interface]]></Shape

5849 ><Info

5850 ><list-int/></Info></Node

5851 ><Node id="N5"

5852 ><Position X="2.008125" Y="5.5529166666666665"

5853 /><Name

5854 ><![CDATA[Node 5]]></Name

5855 ><LabelAbove

5856 >True</LabelAbove

5857 ><Shape

5858 ><![CDATA[interface]]></Shape

5859 ><Info

5860 ><list-int/></Info></Node

5861 ><Node id="N6"

5862 ><Position X="1.1377083333333333" Y="2.0108333333333333"

5863 /><Name

5864 ><![CDATA[Node 6]]></Name

5865 ><LabelAbove

5866 >True</LabelAbove

5867 ><Shape

5868 ><![CDATA[evalReturn]]></Shape

5869 ><Info

5870 ><list-int/></Info></Node

5871 ><Node id="N7"

5872 ><Position X="2.9897916666666666" Y="1.9843750000000004"

5873 /><Name

5874 ><![CDATA[Node 7]]></Name

5875 ><LabelAbove

5876 >True</LabelAbove

5877 ><Shape

5878 ><![CDATA[evalReturn]]></Shape

5879 ><Info

5880 ><list-int/></Info></Node

5881 ><Node id="N8"

5882 ><Position X="1.984375" Y="4.074583333333334"

5883 /><Name

5884 ><![CDATA[Node 8]]></Name

5885 ><LabelAbove

5886 >True</LabelAbove

5887 ><Shape

5888 ><![CDATA[duplicator]]></Shape

5889 ><Info

5890 ><list-int/></Info></Node></Nodes

5891 ><Edges

5892 ><Edge id="E1"

5893 ><From

5894 >6</From

5895 ><PortFrom

5896 ><![CDATA[res]]></PortFrom

5897 ><To

5898 >3</To

5899 ><PortTo

5900 ><![CDATA[interface]]></PortTo

5901 ><Via

5902 /><Info

5903 ><list-int/></Info></Edge

5904 ><Edge id="E2"

5905 ><From

5906 >4</From

5907 ><PortFrom

5908 ><![CDATA[interface]]></PortFrom

5909 ><To

5910 >7</To

5911 ><PortTo

5912 ><![CDATA[res]]></PortTo

5913 ><Via

5914 /><Info

5915 ><list-int/></Info></Edge

5916 ><Edge id="E3"

5917 ><From

5918 >8</From

5919 ><PortFrom

5920 ><![CDATA[down]]></PortFrom

5921 ><To

5922 >5</To

5923 ><PortTo

5924 ><![CDATA[interface]]></PortTo

5925 ><Via

5926 /><Info

5927 ><list-int/></Info></Edge

5928 ><Edge id="E4"

5929 ><From

5930 >8</From

5931 ><PortFrom

5932 ><![CDATA[copy1]]></PortFrom

5933 ><To

5934 >6</To

5935 ><PortTo

5936 ><![CDATA[arg]]></PortTo

5937 ><Via

5938 /><Info

5939 ><list-int/></Info></Edge

5940 ><Edge id="E5"

5941 ><From

5942 >7</From

5943 ><PortFrom

5944 ><![CDATA[arg]]></PortFrom

5945 ><To

5946 >8</To

5947 ><PortTo

5948 ><![CDATA[copy2]]></PortTo

5949 ><Via

5950 /><Info

5951 ><list-int/></Info></Edge></Edges></Network></RHS

5952 ><Mapping

5953 ><MappingElement lhs="3" rhs="3"

5954 /><MappingElement lhs="4" rhs="4"

5955 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

5956 ><INRule

5957 ><Name

5958 ><![CDATA[Duplicator_preApplication]]></Name

5959 ><LHS

5960 ><Network Width="15.0" Height="9.0"

5961 ><Info

5962 ><unit/></Info

5963 ><Nodes

5964 ><Node id="N1"

5965 ><Position X="2.0" Y="2.0"

5966 /><Name

5967 ><![CDATA[Node 1]]></Name

5968 ><LabelAbove

5969 >True</LabelAbove

5970 ><Shape

5971 ><![CDATA[duplicator]]></Shape

5972 ><Info

5973 ><list-int/></Info></Node

5974 ><Node id="N2"

5975 ><Position X="2.0" Y="4.0"

5976 /><Name

5977 ><![CDATA[Node 2]]></Name

5978 ><LabelAbove

5979 >True</LabelAbove

5980 ><Shape

5981 ><![CDATA[beforeApplication]]></Shape

5982 ><Info

5983 ><list-int/></Info></Node

5984 ><Node id="N3"

5985 ><Position X="1.29375" Y="0.5264583333333333"

5986 /><Name

5987 ><![CDATA[Node 3]]></Name

5988 ><LabelAbove

5989 >True</LabelAbove

5990 ><Shape

5991 ><![CDATA[interface]]></Shape

5992 ><Info

5993 ><list-int/></Info></Node

5994 ><Node id="N4"

5995 ><Position X="2.955208333333333" Y="0.6058333333333334"

5996 /><Name

5997 ><![CDATA[Node 4]]></Name

5998 ><LabelAbove

5999 >True</LabelAbove

6000 ><Shape

6001 ><![CDATA[interface]]></Shape

6002 ><Info

6003 ><list-int/></Info></Node

6004 ><Node id="N5"

6005 ><Position X="2.8018750000000003" Y="5.5"

6006 /><Name

6007 ><![CDATA[Node 5]]></Name

6008 ><LabelAbove

6009 >True</LabelAbove

6010 ><Shape

6011 ><![CDATA[interface]]></Shape

6012 ><Info

6013 ><list-int/></Info></Node

6014 ><Node id="N6"

6015 ><Position X="1.2354166666666666" Y="5.5"

6016 /><Name

6017 ><![CDATA[Node 6]]></Name

6018 ><LabelAbove

6019 >True</LabelAbove

6020 ><Shape

6021 ><![CDATA[interface]]></Shape

6022 ><Info

6023 ><list-int/></Info></Node></Nodes

6024 ><Edges

6025 ><Edge id="E1"

6026 ><From

6027 >1</From

6028 ><PortFrom

6029 ><![CDATA[down]]></PortFrom

6030 ><To

6031 >2</To

6032 ><PortTo

6033 ><![CDATA[res]]></PortTo

6034 ><Via

6035 /><Info

6036 ><list-int/></Info></Edge

6037 ><Edge id="E2"

6038 ><From

6039 >1</From

6040 ><PortFrom

6041 ><![CDATA[copy2]]></PortFrom

6042 ><To

6043 >4</To

6044 ><PortTo

6045 ><![CDATA[interface]]></PortTo

6046 ><Via

6047 /><Info

6048 ><list-int/></Info></Edge

6049 ><Edge id="E3"

6050 ><From

6051 >1</From

6052 ><PortFrom

6053 ><![CDATA[copy1]]></PortFrom

6054 ><To

6055 >3</To

6056 ><PortTo

6057 ><![CDATA[interface]]></PortTo

6058 ><Via

6059 /><Info

6060 ><list-int/></Info></Edge

6061 ><Edge id="E4"

6062 ><From

6063 >2</From

6064 ><PortFrom

6065 ><![CDATA[func]]></PortFrom

6066 ><To

6067 >6</To

6068 ><PortTo

6069 ><![CDATA[interface]]></PortTo

6070 ><Via

6071 /><Info

6072 ><list-int/></Info></Edge

6073 ><Edge id="E5"

6074 ><From

6075 >2</From

6076 ><PortFrom

6077 ><![CDATA[arg]]></PortFrom

6078 ><To

6079 >5</To

6080 ><PortTo

6081 ><![CDATA[interface]]></PortTo

6082 ><Via

6083 /><Info

6084 ><list-int/></Info></Edge></Edges></Network></LHS

6085 ><RHS

6086 ><Network Width="15.0" Height="9.0"

6087 ><Info

6088 ><unit/></Info

6089 ><Nodes

6090 ><Node id="N3"

6091 ><Position X="1.29375" Y="0.5264583333333333"

6092 /><Name

6093 ><![CDATA[Node 3]]></Name

6094 ><LabelAbove

6095 >True</LabelAbove

6096 ><Shape

6097 ><![CDATA[interface]]></Shape

6098 ><Info

6099 ><list-int/></Info></Node

6100 ><Node id="N4"

6101 ><Position X="2.955208333333333" Y="0.6322916666666668"

6102 /><Name

6103 ><![CDATA[Node 4]]></Name

6104 ><LabelAbove

6105 >True</LabelAbove

6106 ><Shape

6107 ><![CDATA[interface]]></Shape

6108 ><Info

6109 ><list-int/></Info></Node

6110 ><Node id="N5"

6111 ><Position X="2.934166666666667" Y="5.526458333333333"

6112 /><Name

6113 ><![CDATA[Node 5]]></Name

6114 ><LabelAbove

6115 >True</LabelAbove

6116 ><Shape

6117 ><![CDATA[interface]]></Shape

6118 ><Info

6119 ><list-int/></Info></Node

6120 ><Node id="N6"

6121 ><Position X="1.2883333333333333" Y="5.5"

6122 /><Name

6123 ><![CDATA[Node 6]]></Name

6124 ><LabelAbove

6125 >True</LabelAbove

6126 ><Shape

6127 ><![CDATA[interface]]></Shape

6128 ><Info

6129 ><list-int/></Info></Node

6130 ><Node id="N7"

6131 ><Position X="1.2964583333333337" Y="4.1275"

6132 /><Name

6133 ><![CDATA[Node 7]]></Name

6134 ><LabelAbove

6135 >True</LabelAbove

6136 ><Shape

6137 ><![CDATA[duplicator]]></Shape

6138 ><Info

6139 ><list-int/></Info></Node

6140 ><Node id="N8"

6141 ><Position X="2.936875" Y="4.1275"

6142 /><Name

6143 ><![CDATA[Node 8]]></Name

6144 ><LabelAbove

6145 >True</LabelAbove

6146 ><Shape

6147 ><![CDATA[duplicator]]></Shape

6148 ><Info

6149 ><list-int/></Info></Node

6150 ><Node id="N9"

6151 ><Position X="1.2964583333333335" Y="1.8520833333333333"

6152 /><Name

6153 ><![CDATA[Node 9]]></Name

6154 ><LabelAbove

6155 >True</LabelAbove

6156 ><Shape

6157 ><![CDATA[beforeApplication]]></Shape

6158 ><Info

6159 ><list-int/></Info></Node

6160 ><Node id="N10"

6161 ><Position X="2.9368750000000006" Y="1.7991666666666668"

6162 /><Name

6163 ><![CDATA[Node 10]]></Name

6164 ><LabelAbove

6165 >True</LabelAbove

6166 ><Shape

6167 ><![CDATA[beforeApplication]]></Shape

6168 ><Info

6169 ><list-int/></Info></Node></Nodes

6170 ><Edges

6171 ><Edge id="E1"

6172 ><From

6173 >7</From

6174 ><PortFrom

6175 ><![CDATA[down]]></PortFrom

6176 ><To

6177 >6</To

6178 ><PortTo

6179 ><![CDATA[interface]]></PortTo

6180 ><Via

6181 /><Info

6182 ><list-int/></Info></Edge

6183 ><Edge id="E2"

6184 ><From

6185 >8</From

6186 ><PortFrom

6187 ><![CDATA[down]]></PortFrom

6188 ><To

6189 >5</To

6190 ><PortTo

6191 ><![CDATA[interface]]></PortTo

6192 ><Via

6193 /><Info

6194 ><list-int/></Info></Edge

6195 ><Edge id="E3"

6196 ><From

6197 >3</From

6198 ><PortFrom

6199 ><![CDATA[interface]]></PortFrom

6200 ><To

6201 >9</To

6202 ><PortTo

6203 ><![CDATA[res]]></PortTo

6204 ><Via

6205 /><Info

6206 ><list-int/></Info></Edge

6207 ><Edge id="E4"

6208 ><From

6209 >4</From

6210 ><PortFrom

6211 ><![CDATA[interface]]></PortFrom

6212 ><To

6213 >10</To

6214 ><PortTo

6215 ><![CDATA[res]]></PortTo

6216 ><Via

6217 /><Info

6218 ><list-int/></Info></Edge

6219 ><Edge id="E5"

6220 ><From

6221 >9</From

6222 ><PortFrom

6223 ><![CDATA[func]]></PortFrom

6224 ><To

6225 >7</To

6226 ><PortTo

6227 ><![CDATA[copy1]]></PortTo

6228 ><Via

6229 /><Info

6230 ><list-int/></Info></Edge

6231 ><Edge id="E6"

6232 ><From

6233 >10</From

6234 ><PortFrom

6235 ><![CDATA[func]]></PortFrom

6236 ><To

6237 >7</To

6238 ><PortTo

6239 ><![CDATA[copy2]]></PortTo

6240 ><Via

6241 /><Info

6242 ><list-int/></Info></Edge

6243 ><Edge id="E7"

6244 ><From

6245 >9</From

6246 ><PortFrom

6247 ><![CDATA[arg]]></PortFrom

6248 ><To

6249 >8</To

6250 ><PortTo

6251 ><![CDATA[copy1]]></PortTo

6252 ><Via

6253 /><Info

6254 ><list-int/></Info></Edge

6255 ><Edge id="E8"

6256 ><From

6257 >10</From

6258 ><PortFrom

6259 ><![CDATA[arg]]></PortFrom

6260 ><To

6261 >8</To

6262 ><PortTo

6263 ><![CDATA[copy2]]></PortTo

6264 ><Via

6265 /><Info

6266 ><list-int/></Info></Edge></Edges></Network></RHS

6267 ><Mapping

6268 ><MappingElement lhs="3" rhs="3"

6269 /><MappingElement lhs="4" rhs="4"

6270 /><MappingElement lhs="5" rhs="5"

6271 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

6272 ><INRule

6273 ><Name

6274 ><![CDATA[Evaluator_Variable]]></Name

6275 ><LHS

6276 ><Network Width="15.0" Height="9.0"

6277 ><Info

6278 ><unit/></Info

6279 ><Nodes

6280 ><Node id="N1"

6281 ><Position X="2.0" Y="2.0"

6282 /><Name

6283 ><![CDATA[Node 1]]></Name

6284 ><LabelAbove

6285 >True</LabelAbove

6286 ><Shape

6287 ><![CDATA[evaluation]]></Shape

6288 ><Info

6289 ><list-int/></Info></Node

6290 ><Node id="N2"

6291 ><Position X="2.0" Y="4.0"

6292 /><Name

6293 ><![CDATA[Node 2]]></Name

6294 ><LabelAbove

6295 >True</LabelAbove

6296 ><Shape

6297 ><![CDATA[variable]]></Shape

6298 ><Info

6299 ><list-int/></Info></Node

6300 ><Node id="N3"

6301 ><Position X="2.008125" Y="0.47354166666666664"

6302 /><Name

6303 ><![CDATA[Node 3]]></Name

6304 ><LabelAbove

6305 >True</LabelAbove

6306 ><Shape

6307 ><![CDATA[interface]]></Shape

6308 ><Info

6309 ><list-int/></Info></Node

6310 ><Node id="N4"

6311 ><Position X="2.0081250000000006" Y="5.288333333333333"

6312 /><Name

6313 ><![CDATA[Node 4]]></Name

6314 ><LabelAbove

6315 >True</LabelAbove

6316 ><Shape

6317 ><![CDATA[interface]]></Shape

6318 ><Info

6319 ><list-int/></Info></Node></Nodes

6320 ><Edges

6321 ><Edge id="E1"

6322 ><From

6323 >1</From

6324 ><PortFrom

6325 ><![CDATA[arg]]></PortFrom

6326 ><To

6327 >2</To

6328 ><PortTo

6329 ><![CDATA[res]]></PortTo

6330 ><Via

6331 /><Info

6332 ><list-int/></Info></Edge

6333 ><Edge id="E2"

6334 ><From

6335 >1</From

6336 ><PortFrom

6337 ><![CDATA[res]]></PortFrom

6338 ><To

6339 >3</To

6340 ><PortTo

6341 ><![CDATA[interface]]></PortTo

6342 ><Via

6343 /><Info

6344 ><list-int/></Info></Edge

6345 ><Edge id="E3"

6346 ><From

6347 >2</From

6348 ><PortFrom

6349 ><![CDATA[var]]></PortFrom

6350 ><To

6351 >4</To

6352 ><PortTo

6353 ><![CDATA[interface]]></PortTo

6354 ><Via

6355 /><Info

6356 ><list-int/></Info></Edge></Edges></Network></LHS

6357 ><RHS

6358 ><Network Width="15.0" Height="9.0"

6359 ><Info

6360 ><unit/></Info

6361 ><Nodes

6362 ><Node id="N3"

6363 ><Position X="2.034583333333334" Y="0.47354166666666664"

6364 /><Name

6365 ><![CDATA[Node 3]]></Name

6366 ><LabelAbove

6367 >True</LabelAbove

6368 ><Shape

6369 ><![CDATA[interface]]></Shape

6370 ><Info

6371 ><list-int/></Info></Node

6372 ><Node id="N4"

6373 ><Position X="2.0081250000000006" Y="5.288333333333333"

6374 /><Name

6375 ><![CDATA[Node 4]]></Name

6376 ><LabelAbove

6377 >True</LabelAbove

6378 ><Shape

6379 ><![CDATA[interface]]></Shape

6380 ><Info

6381 ><list-int/></Info></Node

6382 ><Node id="N5"

6383 ><Position X="2.037291666666667" Y="1.9843750000000002"

6384 /><Name

6385 ><![CDATA[Node 5]]></Name

6386 ><LabelAbove

6387 >True</LabelAbove

6388 ><Shape

6389 ><![CDATA[evalReturn0]]></Shape

6390 ><Info

6391 ><list-int/></Info></Node

6392 ><Node id="N6"

6393 ><Position X="2.0108333333333337" Y="3.9158333333333335"

6394 /><Name

6395 ><![CDATA[Node 6]]></Name

6396 ><LabelAbove

6397 >True</LabelAbove

6398 ><Shape

6399 ><![CDATA[variable]]></Shape

6400 ><Info

6401 ><list-int/></Info></Node></Nodes

6402 ><Edges

6403 ><Edge id="E1"

6404 ><From

6405 >5</From

6406 ><PortFrom

6407 ><![CDATA[res]]></PortFrom

6408 ><To

6409 >3</To

6410 ><PortTo

6411 ><![CDATA[interface]]></PortTo

6412 ><Via

6413 /><Info

6414 ><list-int/></Info></Edge

6415 ><Edge id="E2"

6416 ><From

6417 >5</From

6418 ><PortFrom

6419 ><![CDATA[arg]]></PortFrom

6420 ><To

6421 >6</To

6422 ><PortTo

6423 ><![CDATA[res]]></PortTo

6424 ><Via

6425 /><Info

6426 ><list-int/></Info></Edge

6427 ><Edge id="E3"

6428 ><From

6429 >6</From

6430 ><PortFrom

6431 ><![CDATA[var]]></PortFrom

6432 ><To

6433 >4</To

6434 ><PortTo

6435 ><![CDATA[interface]]></PortTo

6436 ><Via

6437 /><Info

6438 ><list-int/></Info></Edge></Edges></Network></RHS

6439 ><Mapping

6440 ><MappingElement lhs="3" rhs="3"

6441 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

6442 ><INRule

6443 ><Name

6444 ><![CDATA[Application_EvaluatorReturning0]]></Name

6445 ><LHS

6446 ><Network Width="15.0" Height="9.0"

6447 ><Info

6448 ><unit/></Info

6449 ><Nodes

6450 ><Node id="N1"

6451 ><Position X="2.306666666666666" Y="1.8147916666666668"

6452 /><Name

6453 ><![CDATA[Node 1]]></Name

6454 ><LabelAbove

6455 >True</LabelAbove

6456 ><Shape

6457 ><![CDATA[application]]></Shape

6458 ><Info

6459 ><list-int/></Info></Node

6460 ><Node id="N2"

6461 ><Position X="2.0" Y="4.0"

6462 /><Name

6463 ><![CDATA[Node 2]]></Name

6464 ><LabelAbove

6465 >True</LabelAbove

6466 ><Shape

6467 ><![CDATA[evalReturn0]]></Shape

6468 ><Info

6469 ><list-int/></Info></Node

6470 ><Node id="N3"

6471 ><Position X="2.3256250000000005" Y="0.420625"

6472 /><Name

6473 ><![CDATA[Node 3]]></Name

6474 ><LabelAbove

6475 >True</LabelAbove

6476 ><Shape

6477 ><![CDATA[interface]]></Shape

6478 ><Info

6479 ><list-int/></Info></Node

6480 ><Node id="N4"

6481 ><Position X="3.854791666666667" Y="5.526458333333333"

6482 /><Name

6483 ><![CDATA[Node 4]]></Name

6484 ><LabelAbove

6485 >True</LabelAbove

6486 ><Shape

6487 ><![CDATA[interface]]></Shape

6488 ><Info

6489 ><list-int/></Info></Node

6490 ><Node id="N5"

6491 ><Position X="2.008125" Y="5.420624999999999"

6492 /><Name

6493 ><![CDATA[Node 5]]></Name

6494 ><LabelAbove

6495 >True</LabelAbove

6496 ><Shape

6497 ><![CDATA[interface]]></Shape

6498 ><Info

6499 ><list-int/></Info></Node></Nodes

6500 ><Edges

6501 ><Edge id="E1"

6502 ><From

6503 >1</From

6504 ><PortFrom

6505 ><![CDATA[func]]></PortFrom

6506 ><To

6507 >2</To

6508 ><PortTo

6509 ><![CDATA[res]]></PortTo

6510 ><Via

6511 /><Info

6512 ><list-int/></Info></Edge

6513 ><Edge id="E2"

6514 ><From

6515 >1</From

6516 ><PortFrom

6517 ><![CDATA[arg]]></PortFrom

6518 ><To

6519 >4</To

6520 ><PortTo

6521 ><![CDATA[interface]]></PortTo

6522 ><Via

6523 /><Info

6524 ><list-int/></Info></Edge

6525 ><Edge id="E3"

6526 ><From

6527 >1</From

6528 ><PortFrom

6529 ><![CDATA[res]]></PortFrom

6530 ><To

6531 >3</To

6532 ><PortTo

6533 ><![CDATA[interface]]></PortTo

6534 ><Via

6535 /><Info

6536 ><list-int/></Info></Edge

6537 ><Edge id="E4"

6538 ><From

6539 >2</From

6540 ><PortFrom

6541 ><![CDATA[arg]]></PortFrom

6542 ><To

6543 >5</To

6544 ><PortTo

6545 ><![CDATA[interface]]></PortTo

6546 ><Via

6547 /><Info

6548 ><list-int/></Info></Edge></Edges></Network></LHS

6549 ><RHS

6550 ><Network Width="15.0" Height="9.0"

6551 ><Info

6552 ><unit/></Info

6553 ><Nodes

6554 ><Node id="N3"

6555 ><Position X="2.352083333333334" Y="0.420625"

6556 /><Name

6557 ><![CDATA[Node 3]]></Name

6558 ><LabelAbove

6559 >True</LabelAbove

6560 ><Shape

6561 ><![CDATA[interface]]></Shape

6562 ><Info

6563 ><list-int/></Info></Node

6564 ><Node id="N4"

6565 ><Position X="3.854791666666667" Y="5.526458333333333"

6566 /><Name

6567 ><![CDATA[Node 4]]></Name

6568 ><LabelAbove

6569 >True</LabelAbove

6570 ><Shape

6571 ><![CDATA[interface]]></Shape

6572 ><Info

6573 ><list-int/></Info></Node

6574 ><Node id="N5"

6575 ><Position X="2.034583333333334" Y="5.420624999999999"

6576 /><Name

6577 ><![CDATA[Node 5]]></Name

6578 ><LabelAbove

6579 >True</LabelAbove

6580 ><Shape

6581 ><![CDATA[interface]]></Shape

6582 ><Info

6583 ><list-int/></Info></Node

6584 ><Node id="N6"

6585 ><Position X="2.354791666666667" Y="1.9843750000000002"

6586 /><Name

6587 ><![CDATA[Node 6]]></Name

6588 ><LabelAbove

6589 >True</LabelAbove

6590 ><Shape

6591 ><![CDATA[evalReturn0]]></Shape

6592 ><Info

6593 ><list-int/></Info></Node

6594 ><Node id="N7"

6595 ><Position X="2.3283333333333336" Y="3.783541666666667"

6596 /><Name

6597 ><![CDATA[Node 7]]></Name

6598 ><LabelAbove

6599 >True</LabelAbove

6600 ><Shape

6601 ><![CDATA[beforeApplication]]></Shape

6602 ><Info

6603 ><list-int/></Info></Node></Nodes

6604 ><Edges

6605 ><Edge id="E1"

6606 ><From

6607 >3</From

6608 ><PortFrom

6609 ><![CDATA[interface]]></PortFrom

6610 ><To

6611 >6</To

6612 ><PortTo

6613 ><![CDATA[res]]></PortTo

6614 ><Via

6615 /><Info

6616 ><list-int/></Info></Edge

6617 ><Edge id="E2"

6618 ><From

6619 >6</From

6620 ><PortFrom

6621 ><![CDATA[arg]]></PortFrom

6622 ><To

6623 >7</To

6624 ><PortTo

6625 ><![CDATA[res]]></PortTo

6626 ><Via

6627 /><Info

6628 ><list-int/></Info></Edge

6629 ><Edge id="E3"

6630 ><From

6631 >7</From

6632 ><PortFrom

6633 ><![CDATA[func]]></PortFrom

6634 ><To

6635 >5</To

6636 ><PortTo

6637 ><![CDATA[interface]]></PortTo

6638 ><Via

6639 /><Info

6640 ><list-int/></Info></Edge

6641 ><Edge id="E4"

6642 ><From

6643 >7</From

6644 ><PortFrom

6645 ><![CDATA[arg]]></PortFrom

6646 ><To

6647 >4</To

6648 ><PortTo

6649 ><![CDATA[interface]]></PortTo

6650 ><Via

6651 /><Info

6652 ><list-int/></Info></Edge></Edges></Network></RHS

6653 ><Mapping

6654 ><MappingElement lhs="3" rhs="3"

6655 /><MappingElement lhs="4" rhs="4"

6656 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

6657 ><INRule

6658 ><Name

6659 ><![CDATA[Erase_Variable]]></Name

6660 ><LHS

6661 ><Network Width="15.0" Height="9.0"

6662 ><Info

6663 ><unit/></Info

6664 ><Nodes

6665 ><Node id="N1"

6666 ><Position X="2.0" Y="2.0"

6667 /><Name

6668 ><![CDATA[Node 1]]></Name

6669 ><LabelAbove

6670 >True</LabelAbove

6671 ><Shape

6672 ><![CDATA[Erase]]></Shape

6673 ><Info

6674 ><list-int/></Info></Node

6675 ><Node id="N2"

6676 ><Position X="2.0" Y="4.0"

6677 /><Name

6678 ><![CDATA[Node 2]]></Name

6679 ><LabelAbove

6680 >True</LabelAbove

6681 ><Shape

6682 ><![CDATA[variable]]></Shape

6683 ><Info

6684 ><list-int/></Info></Node

6685 ><Node id="N3"

6686 ><Position X="2.008125" Y="5.473541666666666"

6687 /><Name

6688 ><![CDATA[Node 3]]></Name

6689 ><LabelAbove

6690 >True</LabelAbove

6691 ><Shape

6692 ><![CDATA[interface]]></Shape

6693 ><Info

6694 ><list-int/></Info></Node></Nodes

6695 ><Edges

6696 ><Edge id="E1"

6697 ><From

6698 >1</From

6699 ><PortFrom

6700 ><![CDATA[down]]></PortFrom

6701 ><To

6702 >2</To

6703 ><PortTo

6704 ><![CDATA[res]]></PortTo

6705 ><Via

6706 /><Info

6707 ><list-int/></Info></Edge

6708 ><Edge id="E2"

6709 ><From

6710 >2</From

6711 ><PortFrom

6712 ><![CDATA[var]]></PortFrom

6713 ><To

6714 >3</To

6715 ><PortTo

6716 ><![CDATA[interface]]></PortTo

6717 ><Via

6718 /><Info

6719 ><list-int/></Info></Edge></Edges></Network></LHS

6720 ><RHS

6721 ><Network Width="15.0" Height="9.0"

6722 ><Info

6723 ><unit/></Info

6724 ><Nodes

6725 ><Node id="N1"

6726 ><Position X="2.0" Y="2.0"

6727 /><Name

6728 ><![CDATA[Node 1]]></Name

6729 ><LabelAbove

6730 >True</LabelAbove

6731 ><Shape

6732 ><![CDATA[Erase]]></Shape

6733 ><Info

6734 ><list-int/></Info></Node

6735 ><Node id="N3"

6736 ><Position X="2.008125" Y="5.473541666666666"

6737 /><Name

6738 ><![CDATA[Node 3]]></Name

6739 ><LabelAbove

6740 >True</LabelAbove

6741 ><Shape

6742 ><![CDATA[interface]]></Shape

6743 ><Info

6744 ><list-int/></Info></Node></Nodes

6745 ><Edges

6746 ><Edge id="E1"

6747 ><From

6748 >1</From

6749 ><PortFrom

6750 ><![CDATA[down]]></PortFrom

6751 ><To

6752 >3</To

6753 ><PortTo

6754 ><![CDATA[interface]]></PortTo

6755 ><Via

6756 /><Info

6757 ><list-int/></Info></Edge></Edges></Network></RHS

6758 ><Mapping

6759 ><MappingElement lhs="3" rhs="3"/></Mapping></INRule

6760 ><INRule

6761 ><Name

6762 ><![CDATA[Erase_EvaluatorReturning0]]></Name

6763 ><LHS

6764 ><Network Width="15.0" Height="9.0"

6765 ><Info

6766 ><unit/></Info

6767 ><Nodes

6768 ><Node id="N1"

6769 ><Position X="2.0" Y="2.0"

6770 /><Name

6771 ><![CDATA[Node 1]]></Name

6772 ><LabelAbove

6773 >True</LabelAbove

6774 ><Shape

6775 ><![CDATA[Erase]]></Shape

6776 ><Info

6777 ><list-int/></Info></Node

6778 ><Node id="N2"

6779 ><Position X="2.0" Y="4.0"

6780 /><Name

6781 ><![CDATA[Node 2]]></Name

6782 ><LabelAbove

6783 >True</LabelAbove

6784 ><Shape

6785 ><![CDATA[evalReturn0]]></Shape

6786 ><Info

6787 ><list-int/></Info></Node

6788 ><Node id="N3"

6789 ><Position X="2.008125" Y="5.5"

6790 /><Name

6791 ><![CDATA[Node 3]]></Name

6792 ><LabelAbove

6793 >True</LabelAbove

6794 ><Shape

6795 ><![CDATA[interface]]></Shape

6796 ><Info

6797 ><list-int/></Info></Node></Nodes

6798 ><Edges

6799 ><Edge id="E1"

6800 ><From

6801 >1</From

6802 ><PortFrom

6803 ><![CDATA[down]]></PortFrom

6804 ><To

6805 >2</To

6806 ><PortTo

6807 ><![CDATA[res]]></PortTo

6808 ><Via

6809 /><Info

6810 ><list-int/></Info></Edge

6811 ><Edge id="E2"

6812 ><From

6813 >2</From

6814 ><PortFrom

6815 ><![CDATA[arg]]></PortFrom

6816 ><To

6817 >3</To

6818 ><PortTo

6819 ><![CDATA[interface]]></PortTo

6820 ><Via

6821 /><Info

6822 ><list-int/></Info></Edge></Edges></Network></LHS

6823 ><RHS

6824 ><Network Width="15.0" Height="9.0"

6825 ><Info

6826 ><unit/></Info

6827 ><Nodes

6828 ><Node id="N1"

6829 ><Position X="2.0" Y="2.0"

6830 /><Name

6831 ><![CDATA[Node 1]]></Name

6832 ><LabelAbove

6833 >True</LabelAbove

6834 ><Shape

6835 ><![CDATA[Erase]]></Shape

6836 ><Info

6837 ><list-int/></Info></Node

6838 ><Node id="N3"

6839 ><Position X="2.008125" Y="5.5"

6840 /><Name

6841 ><![CDATA[Node 3]]></Name

6842 ><LabelAbove

6843 >True</LabelAbove

6844 ><Shape

6845 ><![CDATA[interface]]></Shape

6846 ><Info

6847 ><list-int/></Info></Node></Nodes

6848 ><Edges

6849 ><Edge id="E1"

6850 ><From

6851 >1</From

6852 ><PortFrom

6853 ><![CDATA[down]]></PortFrom

6854 ><To

6855 >3</To

6856 ><PortTo

6857 ><![CDATA[interface]]></PortTo

6858 ><Via

6859 /><Info

6860 ><list-int/></Info></Edge></Edges></Network></RHS

6861 ><Mapping

6862 ><MappingElement lhs="3" rhs="3"/></Mapping></INRule

6863 ><INRule

6864 ><Name

6865 ><![CDATA[Copy_Variable]]></Name

6866 ><LHS

6867 ><Network Width="15.0" Height="9.0"

6868 ><Info

6869 ><unit/></Info

6870 ><Nodes

6871 ><Node id="N1"

6872 ><Position X="2.0" Y="2.0"

6873 /><Name

6874 ><![CDATA[Node 1]]></Name

6875 ><LabelAbove

6876 >True</LabelAbove

6877 ><Shape

6878 ><![CDATA[copy]]></Shape

6879 ><Info

6880 ><list-int/></Info></Node

6881 ><Node id="N2"

6882 ><Position X="2.0" Y="4.0"

6883 /><Name

6884 ><![CDATA[Node 2]]></Name

6885 ><LabelAbove

6886 >True</LabelAbove

6887 ><Shape

6888 ><![CDATA[variable]]></Shape

6889 ><Info

6890 ><list-int/></Info></Node

6891 ><Node id="N3"

6892 ><Position X="1.2408333333333332" Y="0.6058333333333333"

6893 /><Name

6894 ><![CDATA[Node 3]]></Name

6895 ><LabelAbove

6896 >True</LabelAbove

6897 ><Shape

6898 ><![CDATA[interface]]></Shape

6899 ><Info

6900 ><list-int/></Info></Node

6901 ><Node id="N4"

6902 ><Position X="2.6641666666666666" Y="0.7381249999999999"

6903 /><Name

6904 ><![CDATA[Node 4]]></Name

6905 ><LabelAbove

6906 >True</LabelAbove

6907 ><Shape

6908 ><![CDATA[interface]]></Shape

6909 ><Info

6910 ><list-int/></Info></Node

6911 ><Node id="N5"

6912 ><Position X="2.008125" Y="5.447083333333333"

6913 /><Name

6914 ><![CDATA[Node 5]]></Name

6915 ><LabelAbove

6916 >True</LabelAbove

6917 ><Shape

6918 ><![CDATA[interface]]></Shape

6919 ><Info

6920 ><list-int/></Info></Node></Nodes

6921 ><Edges

6922 ><Edge id="E1"

6923 ><From

6924 >1</From

6925 ><PortFrom

6926 ><![CDATA[src]]></PortFrom

6927 ><To

6928 >2</To

6929 ><PortTo

6930 ><![CDATA[res]]></PortTo

6931 ><Via

6932 /><Info

6933 ><list-int/></Info></Edge

6934 ><Edge id="E2"

6935 ><From

6936 >1</From

6937 ><PortFrom

6938 ><![CDATA[snd_target]]></PortFrom

6939 ><To

6940 >4</To

6941 ><PortTo

6942 ><![CDATA[interface]]></PortTo

6943 ><Via

6944 /><Info

6945 ><list-int/></Info></Edge

6946 ><Edge id="E3"

6947 ><From

6948 >1</From

6949 ><PortFrom

6950 ><![CDATA[fst_target]]></PortFrom

6951 ><To

6952 >3</To

6953 ><PortTo

6954 ><![CDATA[interface]]></PortTo

6955 ><Via

6956 /><Info

6957 ><list-int/></Info></Edge

6958 ><Edge id="E4"

6959 ><From

6960 >2</From

6961 ><PortFrom

6962 ><![CDATA[var]]></PortFrom

6963 ><To

6964 >5</To

6965 ><PortTo

6966 ><![CDATA[interface]]></PortTo

6967 ><Via

6968 /><Info

6969 ><list-int/></Info></Edge></Edges></Network></LHS

6970 ><RHS

6971 ><Network Width="15.0" Height="9.0"

6972 ><Info

6973 ><unit/></Info

6974 ><Nodes

6975 ><Node id="N3"

6976 ><Position X="1.2408333333333332" Y="0.6058333333333333"

6977 /><Name

6978 ><![CDATA[Node 3]]></Name

6979 ><LabelAbove

6980 >True</LabelAbove

6981 ><Shape

6982 ><![CDATA[interface]]></Shape

6983 ><Info

6984 ><list-int/></Info></Node

6985 ><Node id="N4"

6986 ><Position X="2.717083333333333" Y="0.579375"

6987 /><Name

6988 ><![CDATA[Node 4]]></Name

6989 ><LabelAbove

6990 >True</LabelAbove

6991 ><Shape

6992 ><![CDATA[interface]]></Shape

6993 ><Info

6994 ><list-int/></Info></Node

6995 ><Node id="N5"

6996 ><Position X="2.008125" Y="5.447083333333333"

6997 /><Name

6998 ><![CDATA[Node 5]]></Name

6999 ><LabelAbove

7000 >True</LabelAbove

7001 ><Shape

7002 ><![CDATA[interface]]></Shape

7003 ><Info

7004 ><list-int/></Info></Node

7005 ><Node id="N6"

7006 ><Position X="1.2435416666666668" Y="2.116666666666667"

7007 /><Name

7008 ><![CDATA[Node 6]]></Name

7009 ><LabelAbove

7010 >True</LabelAbove

7011 ><Shape

7012 ><![CDATA[variable]]></Shape

7013 ><Info

7014 ><list-int/></Info></Node

7015 ><Node id="N7"

7016 ><Position X="2.6987500000000004" Y="2.1695833333333336"

7017 /><Name

7018 ><![CDATA[Node 7]]></Name

7019 ><LabelAbove

7020 >True</LabelAbove

7021 ><Shape

7022 ><![CDATA[variable]]></Shape

7023 ><Info

7024 ><list-int/></Info></Node

7025 ><Node id="N8"

7026 ><Position X="2.0108333333333333" Y="3.7835416666666672"

7027 /><Name

7028 ><![CDATA[Node 8]]></Name

7029 ><LabelAbove

7030 >True</LabelAbove

7031 ><Shape

7032 ><![CDATA[copy]]></Shape

7033 ><Info

7034 ><list-int/></Info></Node></Nodes

7035 ><Edges

7036 ><Edge id="E1"

7037 ><From

7038 >3</From

7039 ><PortFrom

7040 ><![CDATA[interface]]></PortFrom

7041 ><To

7042 >6</To

7043 ><PortTo

7044 ><![CDATA[res]]></PortTo

7045 ><Via

7046 /><Info

7047 ><list-int/></Info></Edge

7048 ><Edge id="E2"

7049 ><From

7050 >4</From

7051 ><PortFrom

7052 ><![CDATA[interface]]></PortFrom

7053 ><To

7054 >7</To

7055 ><PortTo

7056 ><![CDATA[res]]></PortTo

7057 ><Via

7058 /><Info

7059 ><list-int/></Info></Edge

7060 ><Edge id="E3"

7061 ><From

7062 >6</From

7063 ><PortFrom

7064 ><![CDATA[var]]></PortFrom

7065 ><To

7066 >8</To

7067 ><PortTo

7068 ><![CDATA[fst_target]]></PortTo

7069 ><Via

7070 /><Info

7071 ><list-int/></Info></Edge

7072 ><Edge id="E4"

7073 ><From

7074 >7</From

7075 ><PortFrom

7076 ><![CDATA[var]]></PortFrom

7077 ><To

7078 >8</To

7079 ><PortTo

7080 ><![CDATA[snd_target]]></PortTo

7081 ><Via

7082 /><Info

7083 ><list-int/></Info></Edge

7084 ><Edge id="E5"

7085 ><From

7086 >8</From

7087 ><PortFrom

7088 ><![CDATA[src]]></PortFrom

7089 ><To

7090 >5</To

7091 ><PortTo

7092 ><![CDATA[interface]]></PortTo

7093 ><Via

7094 /><Info

7095 ><list-int/></Info></Edge></Edges></Network></RHS

7096 ><Mapping

7097 ><MappingElement lhs="3" rhs="3"

7098 /><MappingElement lhs="4" rhs="4"

7099 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

7100 ><INRule

7101 ><Name

7102 ><![CDATA[Copy_EaluatorReturning0]]></Name

7103 ><LHS

7104 ><Network Width="15.0" Height="9.0"

7105 ><Info

7106 ><unit/></Info

7107 ><Nodes

7108 ><Node id="N1"

7109 ><Position X="2.0" Y="2.0"

7110 /><Name

7111 ><![CDATA[Node 1]]></Name

7112 ><LabelAbove

7113 >True</LabelAbove

7114 ><Shape

7115 ><![CDATA[copy]]></Shape

7116 ><Info

7117 ><list-int/></Info></Node

7118 ><Node id="N2"

7119 ><Position X="2.0" Y="4.0"

7120 /><Name

7121 ><![CDATA[Node 2]]></Name

7122 ><LabelAbove

7123 >True</LabelAbove

7124 ><Shape

7125 ><![CDATA[evalReturn0]]></Shape

7126 ><Info

7127 ><list-int/></Info></Node

7128 ><Node id="N3"

7129 ><Position X="1.055625" Y="0.5264583333333334"

7130 /><Name

7131 ><![CDATA[Node 3]]></Name

7132 ><LabelAbove

7133 >True</LabelAbove

7134 ><Shape

7135 ><![CDATA[interface]]></Shape

7136 ><Info

7137 ><list-int/></Info></Node

7138 ><Node id="N4"

7139 ><Position X="2.7700000000000005" Y="0.6058333333333333"

7140 /><Name

7141 ><![CDATA[Node 4]]></Name

7142 ><LabelAbove

7143 >True</LabelAbove

7144 ><Shape

7145 ><![CDATA[interface]]></Shape

7146 ><Info

7147 ><list-int/></Info></Node

7148 ><Node id="N5"

7149 ><Position X="2.008125" Y="5.5"

7150 /><Name

7151 ><![CDATA[Node 5]]></Name

7152 ><LabelAbove

7153 >True</LabelAbove

7154 ><Shape

7155 ><![CDATA[interface]]></Shape

7156 ><Info

7157 ><list-int/></Info></Node></Nodes

7158 ><Edges

7159 ><Edge id="E1"

7160 ><From

7161 >1</From

7162 ><PortFrom

7163 ><![CDATA[src]]></PortFrom

7164 ><To

7165 >2</To

7166 ><PortTo

7167 ><![CDATA[res]]></PortTo

7168 ><Via

7169 /><Info

7170 ><list-int/></Info></Edge

7171 ><Edge id="E2"

7172 ><From

7173 >1</From

7174 ><PortFrom

7175 ><![CDATA[snd_target]]></PortFrom

7176 ><To

7177 >4</To

7178 ><PortTo

7179 ><![CDATA[interface]]></PortTo

7180 ><Via

7181 /><Info

7182 ><list-int/></Info></Edge

7183 ><Edge id="E3"

7184 ><From

7185 >1</From

7186 ><PortFrom

7187 ><![CDATA[fst_target]]></PortFrom

7188 ><To

7189 >3</To

7190 ><PortTo

7191 ><![CDATA[interface]]></PortTo

7192 ><Via

7193 /><Info

7194 ><list-int/></Info></Edge

7195 ><Edge id="E4"

7196 ><From

7197 >2</From

7198 ><PortFrom

7199 ><![CDATA[arg]]></PortFrom

7200 ><To

7201 >5</To

7202 ><PortTo

7203 ><![CDATA[interface]]></PortTo

7204 ><Via

7205 /><Info

7206 ><list-int/></Info></Edge></Edges></Network></LHS

7207 ><RHS

7208 ><Network Width="15.0" Height="9.0"

7209 ><Info

7210 ><unit/></Info

7211 ><Nodes

7212 ><Node id="N3"

7213 ><Position X="1.055625" Y="0.5264583333333334"

7214 /><Name

7215 ><![CDATA[Node 3]]></Name

7216 ><LabelAbove

7217 >True</LabelAbove

7218 ><Shape

7219 ><![CDATA[interface]]></Shape

7220 ><Info

7221 ><list-int/></Info></Node

7222 ><Node id="N4"

7223 ><Position X="2.7700000000000005" Y="0.6058333333333333"

7224 /><Name

7225 ><![CDATA[Node 4]]></Name

7226 ><LabelAbove

7227 >True</LabelAbove

7228 ><Shape

7229 ><![CDATA[interface]]></Shape

7230 ><Info

7231 ><list-int/></Info></Node

7232 ><Node id="N5"

7233 ><Position X="2.008125" Y="5.5"

7234 /><Name

7235 ><![CDATA[Node 5]]></Name

7236 ><LabelAbove

7237 >True</LabelAbove

7238 ><Shape

7239 ><![CDATA[interface]]></Shape

7240 ><Info

7241 ><list-int/></Info></Node

7242 ><Node id="N6"

7243 ><Position X="1.031875" Y="1.9579166666666667"

7244 /><Name

7245 ><![CDATA[Node 6]]></Name

7246 ><LabelAbove

7247 >True</LabelAbove

7248 ><Shape

7249 ><![CDATA[evalReturn0]]></Shape

7250 ><Info

7251 ><list-int/></Info></Node

7252 ><Node id="N7"

7253 ><Position X="2.778125" Y="1.9579166666666667"

7254 /><Name

7255 ><![CDATA[Node 7]]></Name

7256 ><LabelAbove

7257 >True</LabelAbove

7258 ><Shape

7259 ><![CDATA[evalReturn0]]></Shape

7260 ><Info

7261 ><list-int/></Info></Node

7262 ><Node id="N8"

7263 ><Position X="2.0108333333333333" Y="3.9952083333333337"

7264 /><Name

7265 ><![CDATA[Node 8]]></Name

7266 ><LabelAbove

7267 >True</LabelAbove

7268 ><Shape

7269 ><![CDATA[copy]]></Shape

7270 ><Info

7271 ><list-int/></Info></Node></Nodes

7272 ><Edges

7273 ><Edge id="E1"

7274 ><From

7275 >3</From

7276 ><PortFrom

7277 ><![CDATA[interface]]></PortFrom

7278 ><To

7279 >6</To

7280 ><PortTo

7281 ><![CDATA[res]]></PortTo

7282 ><Via

7283 /><Info

7284 ><list-int/></Info></Edge

7285 ><Edge id="E2"

7286 ><From

7287 >4</From

7288 ><PortFrom

7289 ><![CDATA[interface]]></PortFrom

7290 ><To

7291 >7</To

7292 ><PortTo

7293 ><![CDATA[res]]></PortTo

7294 ><Via

7295 /><Info

7296 ><list-int/></Info></Edge

7297 ><Edge id="E3"

7298 ><From

7299 >6</From

7300 ><PortFrom

7301 ><![CDATA[arg]]></PortFrom

7302 ><To

7303 >8</To

7304 ><PortTo

7305 ><![CDATA[fst_target]]></PortTo

7306 ><Via

7307 /><Info

7308 ><list-int/></Info></Edge

7309 ><Edge id="E4"

7310 ><From

7311 >7</From

7312 ><PortFrom

7313 ><![CDATA[arg]]></PortFrom

7314 ><To

7315 >8</To

7316 ><PortTo

7317 ><![CDATA[snd_target]]></PortTo

7318 ><Via

7319 /><Info

7320 ><list-int/></Info></Edge

7321 ><Edge id="E5"

7322 ><From

7323 >8</From

7324 ><PortFrom

7325 ><![CDATA[src]]></PortFrom

7326 ><To

7327 >5</To

7328 ><PortTo

7329 ><![CDATA[interface]]></PortTo

7330 ><Via

7331 /><Info

7332 ><list-int/></Info></Edge></Edges></Network></RHS

7333 ><Mapping

7334 ><MappingElement lhs="3" rhs="3"

7335 /><MappingElement lhs="4" rhs="4"

7336 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

7337 ><INRule

7338 ><Name

7339 ><![CDATA[Duplicator_Variable]]></Name

7340 ><LHS

7341 ><Network Width="15.0" Height="9.0"

7342 ><Info

7343 ><unit/></Info

7344 ><Nodes

7345 ><Node id="N1"

7346 ><Position X="2.0" Y="2.0"

7347 /><Name

7348 ><![CDATA[Node 1]]></Name

7349 ><LabelAbove

7350 >True</LabelAbove

7351 ><Shape

7352 ><![CDATA[duplicator]]></Shape

7353 ><Info

7354 ><list-int/></Info></Node

7355 ><Node id="N2"

7356 ><Position X="2.0" Y="4.0"

7357 /><Name

7358 ><![CDATA[Node 2]]></Name

7359 ><LabelAbove

7360 >True</LabelAbove

7361 ><Shape

7362 ><![CDATA[variable]]></Shape

7363 ><Info

7364 ><list-int/></Info></Node

7365 ><Node id="N3"

7366 ><Position X="0.9233333333333335" Y="0.5264583333333334"

7367 /><Name

7368 ><![CDATA[Node 3]]></Name

7369 ><LabelAbove

7370 >True</LabelAbove

7371 ><Shape

7372 ><![CDATA[interface]]></Shape

7373 ><Info

7374 ><list-int/></Info></Node

7375 ><Node id="N4"

7376 ><Position X="2.690625" Y="0.5529166666666666"

7377 /><Name

7378 ><![CDATA[Node 4]]></Name

7379 ><LabelAbove

7380 >True</LabelAbove

7381 ><Shape

7382 ><![CDATA[interface]]></Shape

7383 ><Info

7384 ><list-int/></Info></Node

7385 ><Node id="N5"

7386 ><Position X="2.008125" Y="5.473541666666667"

7387 /><Name

7388 ><![CDATA[Node 5]]></Name

7389 ><LabelAbove

7390 >True</LabelAbove

7391 ><Shape

7392 ><![CDATA[interface]]></Shape

7393 ><Info

7394 ><list-int/></Info></Node></Nodes

7395 ><Edges

7396 ><Edge id="E1"

7397 ><From

7398 >1</From

7399 ><PortFrom

7400 ><![CDATA[down]]></PortFrom

7401 ><To

7402 >2</To

7403 ><PortTo

7404 ><![CDATA[res]]></PortTo

7405 ><Via

7406 /><Info

7407 ><list-int/></Info></Edge

7408 ><Edge id="E2"

7409 ><From

7410 >1</From

7411 ><PortFrom

7412 ><![CDATA[copy2]]></PortFrom

7413 ><To

7414 >4</To

7415 ><PortTo

7416 ><![CDATA[interface]]></PortTo

7417 ><Via

7418 /><Info

7419 ><list-int/></Info></Edge

7420 ><Edge id="E3"

7421 ><From

7422 >1</From

7423 ><PortFrom

7424 ><![CDATA[copy1]]></PortFrom

7425 ><To

7426 >3</To

7427 ><PortTo

7428 ><![CDATA[interface]]></PortTo

7429 ><Via

7430 /><Info

7431 ><list-int/></Info></Edge

7432 ><Edge id="E4"

7433 ><From

7434 >2</From

7435 ><PortFrom

7436 ><![CDATA[var]]></PortFrom

7437 ><To

7438 >5</To

7439 ><PortTo

7440 ><![CDATA[interface]]></PortTo

7441 ><Via

7442 /><Info

7443 ><list-int/></Info></Edge></Edges></Network></LHS

7444 ><RHS

7445 ><Network Width="15.0" Height="9.0"

7446 ><Info

7447 ><unit/></Info

7448 ><Nodes

7449 ><Node id="N3"

7450 ><Position X="0.9233333333333335" Y="0.5264583333333334"

7451 /><Name

7452 ><![CDATA[Node 3]]></Name

7453 ><LabelAbove

7454 >True</LabelAbove

7455 ><Shape

7456 ><![CDATA[interface]]></Shape

7457 ><Info

7458 ><list-int/></Info></Node

7459 ><Node id="N4"

7460 ><Position X="2.690625" Y="0.5529166666666666"

7461 /><Name

7462 ><![CDATA[Node 4]]></Name

7463 ><LabelAbove

7464 >True</LabelAbove

7465 ><Shape

7466 ><![CDATA[interface]]></Shape

7467 ><Info

7468 ><list-int/></Info></Node

7469 ><Node id="N5"

7470 ><Position X="2.008125" Y="5.473541666666667"

7471 /><Name

7472 ><![CDATA[Node 5]]></Name

7473 ><LabelAbove

7474 >True</LabelAbove

7475 ><Shape

7476 ><![CDATA[interface]]></Shape

7477 ><Info

7478 ><list-int/></Info></Node

7479 ><Node id="N7"

7480 ><Position X="0.9260416666666668" Y="2.1166666666666667"

7481 /><Name

7482 ><![CDATA[Node 7]]></Name

7483 ><LabelAbove

7484 >True</LabelAbove

7485 ><Shape

7486 ><![CDATA[variable]]></Shape

7487 ><Info

7488 ><list-int/></Info></Node

7489 ><Node id="N8"

7490 ><Position X="2.69875" Y="2.037291666666667"

7491 /><Name

7492 ><![CDATA[Node 8]]></Name

7493 ><LabelAbove

7494 >True</LabelAbove

7495 ><Shape

7496 ><![CDATA[variable]]></Shape

7497 ><Info

7498 ><list-int/></Info></Node

7499 ><Node id="N9"

7500 ><Position X="1.9843750000000002" Y="3.9687500000000004"

7501 /><Name

7502 ><![CDATA[Node 9]]></Name

7503 ><LabelAbove

7504 >True</LabelAbove

7505 ><Shape

7506 ><![CDATA[copy]]></Shape

7507 ><Info

7508 ><list-int/></Info></Node></Nodes

7509 ><Edges

7510 ><Edge id="E2"

7511 ><From

7512 >3</From

7513 ><PortFrom

7514 ><![CDATA[interface]]></PortFrom

7515 ><To

7516 >7</To

7517 ><PortTo

7518 ><![CDATA[res]]></PortTo

7519 ><Via

7520 /><Info

7521 ><list-int/></Info></Edge

7522 ><Edge id="E3"

7523 ><From

7524 >4</From

7525 ><PortFrom

7526 ><![CDATA[interface]]></PortFrom

7527 ><To

7528 >8</To

7529 ><PortTo

7530 ><![CDATA[res]]></PortTo

7531 ><Via

7532 /><Info

7533 ><list-int/></Info></Edge

7534 ><Edge id="E4"

7535 ><From

7536 >7</From

7537 ><PortFrom

7538 ><![CDATA[var]]></PortFrom

7539 ><To

7540 >9</To

7541 ><PortTo

7542 ><![CDATA[fst_target]]></PortTo

7543 ><Via

7544 /><Info

7545 ><list-int/></Info></Edge

7546 ><Edge id="E5"

7547 ><From

7548 >8</From

7549 ><PortFrom

7550 ><![CDATA[var]]></PortFrom

7551 ><To

7552 >9</To

7553 ><PortTo

7554 ><![CDATA[snd_target]]></PortTo

7555 ><Via

7556 /><Info

7557 ><list-int/></Info></Edge

7558 ><Edge id="E6"

7559 ><From

7560 >9</From

7561 ><PortFrom

7562 ><![CDATA[src]]></PortFrom

7563 ><To

7564 >5</To

7565 ><PortTo

7566 ><![CDATA[interface]]></PortTo

7567 ><Via

7568 /><Info

7569 ><list-int/></Info></Edge></Edges></Network></RHS

7570 ><Mapping

7571 ><MappingElement lhs="3" rhs="3"

7572 /><MappingElement lhs="4" rhs="4"

7573 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

7574 ><INRule

7575 ><Name

7576 ><![CDATA[Duplicator_EvaluatorReturning0]]></Name

7577 ><LHS

7578 ><Network Width="15.0" Height="9.0"

7579 ><Info

7580 ><unit/></Info

7581 ><Nodes

7582 ><Node id="N1"

7583 ><Position X="2.0" Y="2.0"

7584 /><Name

7585 ><![CDATA[Node 1]]></Name

7586 ><LabelAbove

7587 >True</LabelAbove

7588 ><Shape

7589 ><![CDATA[duplicator]]></Shape

7590 ><Info

7591 ><list-int/></Info></Node

7592 ><Node id="N2"

7593 ><Position X="2.0" Y="4.0"

7594 /><Name

7595 ><![CDATA[Node 2]]></Name

7596 ><LabelAbove

7597 >True</LabelAbove

7598 ><Shape

7599 ><![CDATA[evalReturn0]]></Shape

7600 ><Info

7601 ><list-int/></Info></Node

7602 ><Node id="N3"

7603 ><Position X="1.0291666666666668" Y="0.4735416666666667"

7604 /><Name

7605 ><![CDATA[Node 3]]></Name

7606 ><LabelAbove

7607 >True</LabelAbove

7608 ><Shape

7609 ><![CDATA[interface]]></Shape

7610 ><Info

7611 ><list-int/></Info></Node

7612 ><Node id="N4"

7613 ><Position X="2.6906250000000003" Y="0.5"

7614 /><Name

7615 ><![CDATA[Node 4]]></Name

7616 ><LabelAbove

7617 >True</LabelAbove

7618 ><Shape

7619 ><![CDATA[interface]]></Shape

7620 ><Info

7621 ><list-int/></Info></Node

7622 ><Node id="N5"

7623 ><Position X="2.008125" Y="5.5"

7624 /><Name

7625 ><![CDATA[Node 5]]></Name

7626 ><LabelAbove

7627 >True</LabelAbove

7628 ><Shape

7629 ><![CDATA[interface]]></Shape

7630 ><Info

7631 ><list-int/></Info></Node></Nodes

7632 ><Edges

7633 ><Edge id="E1"

7634 ><From

7635 >1</From

7636 ><PortFrom

7637 ><![CDATA[down]]></PortFrom

7638 ><To

7639 >2</To

7640 ><PortTo

7641 ><![CDATA[res]]></PortTo

7642 ><Via

7643 /><Info

7644 ><list-int/></Info></Edge

7645 ><Edge id="E2"

7646 ><From

7647 >1</From

7648 ><PortFrom

7649 ><![CDATA[copy2]]></PortFrom

7650 ><To

7651 >4</To

7652 ><PortTo

7653 ><![CDATA[interface]]></PortTo

7654 ><Via

7655 /><Info

7656 ><list-int/></Info></Edge

7657 ><Edge id="E3"

7658 ><From

7659 >1</From

7660 ><PortFrom

7661 ><![CDATA[copy1]]></PortFrom

7662 ><To

7663 >3</To

7664 ><PortTo

7665 ><![CDATA[interface]]></PortTo

7666 ><Via

7667 /><Info

7668 ><list-int/></Info></Edge

7669 ><Edge id="E4"

7670 ><From

7671 >2</From

7672 ><PortFrom

7673 ><![CDATA[arg]]></PortFrom

7674 ><To

7675 >5</To

7676 ><PortTo

7677 ><![CDATA[interface]]></PortTo

7678 ><Via

7679 /><Info

7680 ><list-int/></Info></Edge></Edges></Network></LHS

7681 ><RHS

7682 ><Network Width="15.0" Height="9.0"

7683 ><Info

7684 ><unit/></Info

7685 ><Nodes

7686 ><Node id="N3"

7687 ><Position X="1.0291666666666668" Y="0.4735416666666667"

7688 /><Name

7689 ><![CDATA[Node 3]]></Name

7690 ><LabelAbove

7691 >True</LabelAbove

7692 ><Shape

7693 ><![CDATA[interface]]></Shape

7694 ><Info

7695 ><list-int/></Info></Node

7696 ><Node id="N4"

7697 ><Position X="2.6906250000000003" Y="0.5"

7698 /><Name

7699 ><![CDATA[Node 4]]></Name

7700 ><LabelAbove

7701 >True</LabelAbove

7702 ><Shape

7703 ><![CDATA[interface]]></Shape

7704 ><Info

7705 ><list-int/></Info></Node

7706 ><Node id="N5"

7707 ><Position X="2.008125" Y="5.5"

7708 /><Name

7709 ><![CDATA[Node 5]]></Name

7710 ><LabelAbove

7711 >True</LabelAbove

7712 ><Shape

7713 ><![CDATA[interface]]></Shape

7714 ><Info

7715 ><list-int/></Info></Node

7716 ><Node id="N6"

7717 ><Position X="1.031875" Y="2.06375"

7718 /><Name

7719 ><![CDATA[Node 6]]></Name

7720 ><LabelAbove

7721 >True</LabelAbove

7722 ><Shape

7723 ><![CDATA[evalReturn0]]></Shape

7724 ><Info

7725 ><list-int/></Info></Node

7726 ><Node id="N7"

7727 ><Position X="2.69875" Y="1.984375"

7728 /><Name

7729 ><![CDATA[Node 7]]></Name

7730 ><LabelAbove

7731 >True</LabelAbove

7732 ><Shape

7733 ><![CDATA[evalReturn0]]></Shape

7734 ><Info

7735 ><list-int/></Info></Node

7736 ><Node id="N8"

7737 ><Position X="1.9843750000000002" Y="3.915833333333334"

7738 /><Name

7739 ><![CDATA[Node 8]]></Name

7740 ><LabelAbove

7741 >True</LabelAbove

7742 ><Shape

7743 ><![CDATA[duplicator]]></Shape

7744 ><Info

7745 ><list-int/></Info></Node></Nodes

7746 ><Edges

7747 ><Edge id="E1"

7748 ><From

7749 >3</From

7750 ><PortFrom

7751 ><![CDATA[interface]]></PortFrom

7752 ><To

7753 >6</To

7754 ><PortTo

7755 ><![CDATA[res]]></PortTo

7756 ><Via

7757 /><Info

7758 ><list-int/></Info></Edge

7759 ><Edge id="E2"

7760 ><From

7761 >4</From

7762 ><PortFrom

7763 ><![CDATA[interface]]></PortFrom

7764 ><To

7765 >7</To

7766 ><PortTo

7767 ><![CDATA[res]]></PortTo

7768 ><Via

7769 /><Info

7770 ><list-int/></Info></Edge

7771 ><Edge id="E3"

7772 ><From

7773 >6</From

7774 ><PortFrom

7775 ><![CDATA[arg]]></PortFrom

7776 ><To

7777 >8</To

7778 ><PortTo

7779 ><![CDATA[copy1]]></PortTo

7780 ><Via

7781 /><Info

7782 ><list-int/></Info></Edge

7783 ><Edge id="E4"

7784 ><From

7785 >7</From

7786 ><PortFrom

7787 ><![CDATA[arg]]></PortFrom

7788 ><To

7789 >8</To

7790 ><PortTo

7791 ><![CDATA[copy2]]></PortTo

7792 ><Via

7793 /><Info

7794 ><list-int/></Info></Edge

7795 ><Edge id="E5"

7796 ><From

7797 >8</From

7798 ><PortFrom

7799 ><![CDATA[down]]></PortFrom

7800 ><To

7801 >5</To

7802 ><PortTo

7803 ><![CDATA[interface]]></PortTo

7804 ><Via

7805 /><Info

7806 ><list-int/></Info></Edge></Edges></Network></RHS

7807 ><Mapping

7808 ><MappingElement lhs="3" rhs="3"

7809 /><MappingElement lhs="4" rhs="4"

7810 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

7811 ><INRule

7812 ><Name

7813 ><![CDATA[Application_EvaluatorReturning0OnRight]]></Name

7814 ><LHS

7815 ><Network Width="15.0" Height="9.0"

7816 ><Info

7817 ><unit/></Info

7818 ><Nodes

7819 ><Node id="N1"

7820 ><Position X="2.0" Y="2.0"

7821 /><Name

7822 ><![CDATA[Node 1]]></Name

7823 ><LabelAbove

7824 >True</LabelAbove

7825 ><Shape

7826 ><![CDATA[application']]></Shape

7827 ><Info

7828 ><list-int/></Info></Node

7829 ><Node id="N2"

7830 ><Position X="2.873125" Y="3.8677083333333333"

7831 /><Name

7832 ><![CDATA[Node 2]]></Name

7833 ><LabelAbove

7834 >True</LabelAbove

7835 ><Shape

7836 ><![CDATA[evalReturn0]]></Shape

7837 ><Info

7838 ><list-int/></Info></Node

7839 ><Node id="N3"

7840 ><Position X="0.7645833333333334" Y="4.970833333333333"

7841 /><Name

7842 ><![CDATA[Node 3]]></Name

7843 ><LabelAbove

7844 >True</LabelAbove

7845 ><Shape

7846 ><![CDATA[interface]]></Shape

7847 ><Info

7848 ><list-int/></Info></Node

7849 ><Node id="N4"

7850 ><Position X="2.008125" Y="0.5264583333333334"

7851 /><Name

7852 ><![CDATA[Node 4]]></Name

7853 ><LabelAbove

7854 >True</LabelAbove

7855 ><Shape

7856 ><![CDATA[interface]]></Shape

7857 ><Info

7858 ><list-int/></Info></Node

7859 ><Node id="N5"

7860 ><Position X="2.849375" Y="4.997291666666667"

7861 /><Name

7862 ><![CDATA[Node 5]]></Name

7863 ><LabelAbove

7864 >True</LabelAbove

7865 ><Shape

7866 ><![CDATA[interface]]></Shape

7867 ><Info

7868 ><list-int/></Info></Node></Nodes

7869 ><Edges

7870 ><Edge id="E1"

7871 ><From

7872 >1</From

7873 ><PortFrom

7874 ><![CDATA[arg]]></PortFrom

7875 ><To

7876 >2</To

7877 ><PortTo

7878 ><![CDATA[res]]></PortTo

7879 ><Via

7880 /><Info

7881 ><list-int/></Info></Edge

7882 ><Edge id="E2"

7883 ><From

7884 >1</From

7885 ><PortFrom

7886 ><![CDATA[res]]></PortFrom

7887 ><To

7888 >4</To

7889 ><PortTo

7890 ><![CDATA[interface]]></PortTo

7891 ><Via

7892 /><Info

7893 ><list-int/></Info></Edge

7894 ><Edge id="E3"

7895 ><From

7896 >1</From

7897 ><PortFrom

7898 ><![CDATA[func]]></PortFrom

7899 ><To

7900 >3</To

7901 ><PortTo

7902 ><![CDATA[interface]]></PortTo

7903 ><Via

7904 /><Info

7905 ><list-int/></Info></Edge

7906 ><Edge id="E4"

7907 ><From

7908 >2</From

7909 ><PortFrom

7910 ><![CDATA[arg]]></PortFrom

7911 ><To

7912 >5</To

7913 ><PortTo

7914 ><![CDATA[interface]]></PortTo

7915 ><Via

7916 /><Info

7917 ><list-int/></Info></Edge></Edges></Network></LHS

7918 ><RHS

7919 ><Network Width="15.0" Height="9.0"

7920 ><Info

7921 ><unit/></Info

7922 ><Nodes

7923 ><Node id="N3"

7924 ><Position X="0.7645833333333334" Y="4.970833333333333"

7925 /><Name

7926 ><![CDATA[Node 3]]></Name

7927 ><LabelAbove

7928 >True</LabelAbove

7929 ><Shape

7930 ><![CDATA[interface]]></Shape

7931 ><Info

7932 ><list-int/></Info></Node

7933 ><Node id="N4"

7934 ><Position X="2.008125" Y="0.5264583333333334"

7935 /><Name

7936 ><![CDATA[Node 4]]></Name

7937 ><LabelAbove

7938 >True</LabelAbove

7939 ><Shape

7940 ><![CDATA[interface]]></Shape

7941 ><Info

7942 ><list-int/></Info></Node

7943 ><Node id="N5"

7944 ><Position X="2.849375" Y="4.997291666666667"

7945 /><Name

7946 ><![CDATA[Node 5]]></Name

7947 ><LabelAbove

7948 >True</LabelAbove

7949 ><Shape

7950 ><![CDATA[interface]]></Shape

7951 ><Info

7952 ><list-int/></Info></Node

7953 ><Node id="N6"

7954 ><Position X="1.9843750000000002" Y="2.6193750000000007"

7955 /><Name

7956 ><![CDATA[Node 6]]></Name

7957 ><LabelAbove

7958 >True</LabelAbove

7959 ><Shape

7960 ><![CDATA[application]]></Shape

7961 ><Info

7962 ><list-int/></Info></Node></Nodes

7963 ><Edges

7964 ><Edge id="E1"

7965 ><From

7966 >4</From

7967 ><PortFrom

7968 ><![CDATA[interface]]></PortFrom

7969 ><To

7970 >6</To

7971 ><PortTo

7972 ><![CDATA[res]]></PortTo

7973 ><Via

7974 /><Info

7975 ><list-int/></Info></Edge

7976 ><Edge id="E2"

7977 ><From

7978 >6</From

7979 ><PortFrom

7980 ><![CDATA[func]]></PortFrom

7981 ><To

7982 >3</To

7983 ><PortTo

7984 ><![CDATA[interface]]></PortTo

7985 ><Via

7986 /><Info

7987 ><list-int/></Info></Edge

7988 ><Edge id="E3"

7989 ><From

7990 >6</From

7991 ><PortFrom

7992 ><![CDATA[arg]]></PortFrom

7993 ><To

7994 >5</To

7995 ><PortTo

7996 ><![CDATA[interface]]></PortTo

7997 ><Via

7998 /><Info

7999 ><list-int/></Info></Edge></Edges></Network></RHS

8000 ><Mapping

8001 ><MappingElement lhs="3" rhs="3"

8002 /><MappingElement lhs="4" rhs="4"

8003 /><MappingElement lhs="5"

8004 rhs="5"/></Mapping></INRule></Rules></Document>