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></Palette

732 ><Rules

733 ><INRule

734 ><Name

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

736 ><LHS

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

738 ><Info

739 ><unit/></Info

740 ><Nodes

741 ><Node id="N1"

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

743 /><Name

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

745 ><LabelAbove

746 >True</LabelAbove

747 ><Shape

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

749 ><Info

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

751 ><Node id="N2"

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

753 /><Name

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

755 ><LabelAbove

756 >True</LabelAbove

757 ><Shape

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

759 ><Info

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

761 ><Node id="N3"

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

763 /><Name

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

765 ><LabelAbove

766 >True</LabelAbove

767 ><Shape

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

769 ><Info

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

771 ><Node id="N4"

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

773 /><Name

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

775 ><LabelAbove

776 >True</LabelAbove

777 ><Shape

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

779 ><Info

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

781 ><Node id="N5"

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

783 /><Name

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

785 ><LabelAbove

786 >True</LabelAbove

787 ><Shape

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

789 ><Info

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

791 ><Edges

792 ><Edge id="E1"

793 ><From

794 >1</From

795 ><PortFrom

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

797 ><To

798 >2</To

799 ><PortTo

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

801 ><Via

802 /><Info

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

804 ><Edge id="E2"

805 ><From

806 >1</From

807 ><PortFrom

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

809 ><To

810 >3</To

811 ><PortTo

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

813 ><Via

814 /><Info

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

816 ><Edge id="E3"

817 ><From

818 >2</From

819 ><PortFrom

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

821 ><To

822 >5</To

823 ><PortTo

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

825 ><Via

826 /><Info

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

828 ><Edge id="E4"

829 ><From

830 >2</From

831 ><PortFrom

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

833 ><To

834 >4</To

835 ><PortTo

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

837 ><Via

838 /><Info

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

840 ><RHS

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

842 ><Info

843 ><unit/></Info

844 ><Nodes

845 ><Node id="N3"

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

847 /><Name

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

849 ><LabelAbove

850 >True</LabelAbove

851 ><Shape

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

853 ><Info

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

855 ><Node id="N4"

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

857 /><Name

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

859 ><LabelAbove

860 >True</LabelAbove

861 ><Shape

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

863 ><Info

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

865 ><Node id="N5"

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

867 /><Name

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

869 ><LabelAbove

870 >True</LabelAbove

871 ><Shape

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

873 ><Info

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

875 ><Node id="N6"

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

877 /><Name

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

879 ><LabelAbove

880 >True</LabelAbove

881 ><Shape

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

883 ><Info

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

885 ><Node id="N7"

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

887 /><Name

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

889 ><LabelAbove

890 >True</LabelAbove

891 ><Shape

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

893 ><Info

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

895 ><Edges

896 ><Edge id="E1"

897 ><From

898 >6</From

899 ><PortFrom

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

901 ><To

902 >5</To

903 ><PortTo

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

905 ><Via

906 /><Info

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

908 ><Edge id="E2"

909 ><From

910 >6</From

911 ><PortFrom

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

913 ><To

914 >4</To

915 ><PortTo

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

917 ><Via

918 /><Info

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

920 ><Edge id="E3"

921 ><From

922 >3</From

923 ><PortFrom

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

925 ><To

926 >7</To

927 ><PortTo

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

929 ><Via

930 /><Info

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

932 ><Edge id="E4"

933 ><From

934 >7</From

935 ><PortFrom

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

937 ><To

938 >6</To

939 ><PortTo

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

941 ><Via

942 /><Info

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

944 ><Mapping

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

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

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

948 ><INRule

949 ><Name

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

951 ><LHS

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

953 ><Info

954 ><unit/></Info

955 ><Nodes

956 ><Node id="N1"

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

958 /><Name

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

960 ><LabelAbove

961 >True</LabelAbove

962 ><Shape

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

964 ><Info

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

966 ><Node id="N2"

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

968 /><Name

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

970 ><LabelAbove

971 >True</LabelAbove

972 ><Shape

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

974 ><Info

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

976 ><Node id="N3"

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

978 /><Name

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

980 ><LabelAbove

981 >True</LabelAbove

982 ><Shape

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

984 ><Info

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

986 ><Node id="N4"

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

988 /><Name

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

990 ><LabelAbove

991 >True</LabelAbove

992 ><Shape

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

994 ><Info

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

996 ><Node id="N5"

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

998 /><Name

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

1000 ><LabelAbove

1001 >True</LabelAbove

1002 ><Shape

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

1004 ><Info

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

1006 ><Edges

1007 ><Edge id="E1"

1008 ><From

1009 >1</From

1010 ><PortFrom

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

1012 ><To

1013 >2</To

1014 ><PortTo

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

1016 ><Via

1017 /><Info

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

1019 ><Edge id="E2"

1020 ><From

1021 >1</From

1022 ><PortFrom

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

1024 ><To

1025 >3</To

1026 ><PortTo

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

1028 ><Via

1029 /><Info

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

1031 ><Edge id="E3"

1032 ><From

1033 >2</From

1034 ><PortFrom

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

1036 ><To

1037 >5</To

1038 ><PortTo

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

1040 ><Via

1041 /><Info

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

1043 ><Edge id="E4"

1044 ><From

1045 >2</From

1046 ><PortFrom

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

1048 ><To

1049 >4</To

1050 ><PortTo

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

1052 ><Via

1053 /><Info

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

1055 ><RHS

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

1057 ><Info

1058 ><unit/></Info

1059 ><Nodes

1060 ><Node id="N3"

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

1062 /><Name

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

1064 ><LabelAbove

1065 >True</LabelAbove

1066 ><Shape

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

1068 ><Info

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

1070 ><Node id="N4"

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

1072 /><Name

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

1074 ><LabelAbove

1075 >True</LabelAbove

1076 ><Shape

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

1078 ><Info

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

1080 ><Node id="N5"

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

1082 /><Name

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

1084 ><LabelAbove

1085 >True</LabelAbove

1086 ><Shape

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

1088 ><Info

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

1090 ><Node id="N6"

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

1092 /><Name

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

1094 ><LabelAbove

1095 >True</LabelAbove

1096 ><Shape

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

1098 ><Info

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

1100 ><Node id="N7"

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

1102 /><Name

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

1104 ><LabelAbove

1105 >True</LabelAbove

1106 ><Shape

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

1108 ><Info

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

1110 ><Edges

1111 ><Edge id="E1"

1112 ><From

1113 >3</From

1114 ><PortFrom

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

1116 ><To

1117 >6</To

1118 ><PortTo

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

1120 ><Via

1121 /><Info

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

1123 ><Edge id="E2"

1124 ><From

1125 >6</From

1126 ><PortFrom

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

1128 ><To

1129 >7</To

1130 ><PortTo

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

1132 ><Via

1133 /><Info

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

1135 ><Edge id="E3"

1136 ><From

1137 >7</From

1138 ><PortFrom

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

1140 ><To

1141 >5</To

1142 ><PortTo

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

1144 ><Via

1145 /><Info

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

1147 ><Edge id="E4"

1148 ><From

1149 >6</From

1150 ><PortFrom

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

1152 ><To

1153 >4</To

1154 ><PortTo

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

1156 ><Via

1157 /><Info

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

1159 ><Mapping

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

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

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

1163 ><INRule

1164 ><Name

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

1166 ><LHS

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

1168 ><Info

1169 ><unit/></Info

1170 ><Nodes

1171 ><Node id="N1"

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

1173 /><Name

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

1175 ><LabelAbove

1176 >True</LabelAbove

1177 ><Shape

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

1179 ><Info

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

1181 ><Node id="N2"

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

1183 /><Name

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

1185 ><LabelAbove

1186 >True</LabelAbove

1187 ><Shape

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

1189 ><Info

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

1191 ><Node id="N3"

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

1193 /><Name

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

1195 ><LabelAbove

1196 >True</LabelAbove

1197 ><Shape

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

1199 ><Info

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

1201 ><Node id="N4"

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

1203 /><Name

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

1205 ><LabelAbove

1206 >True</LabelAbove

1207 ><Shape

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

1209 ><Info

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

1211 ><Node id="N5"

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

1213 /><Name

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

1215 ><LabelAbove

1216 >True</LabelAbove

1217 ><Shape

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

1219 ><Info

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

1221 ><Edges

1222 ><Edge id="E1"

1223 ><From

1224 >1</From

1225 ><PortFrom

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

1227 ><To

1228 >2</To

1229 ><PortTo

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

1231 ><Via

1232 /><Info

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

1234 ><Edge id="E2"

1235 ><From

1236 >1</From

1237 ><PortFrom

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

1239 ><To

1240 >4</To

1241 ><PortTo

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

1243 ><Via

1244 /><Info

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

1246 ><Edge id="E3"

1247 ><From

1248 >1</From

1249 ><PortFrom

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

1251 ><To

1252 >3</To

1253 ><PortTo

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

1255 ><Via

1256 /><Info

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

1258 ><Edge id="E4"

1259 ><From

1260 >2</From

1261 ><PortFrom

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

1263 ><To

1264 >5</To

1265 ><PortTo

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

1267 ><Via

1268 /><Info

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

1270 ><RHS

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

1272 ><Info

1273 ><unit/></Info

1274 ><Nodes

1275 ><Node id="N3"

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

1277 /><Name

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

1279 ><LabelAbove

1280 >True</LabelAbove

1281 ><Shape

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

1283 ><Info

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

1285 ><Node id="N4"

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

1287 /><Name

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

1289 ><LabelAbove

1290 >True</LabelAbove

1291 ><Shape

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

1293 ><Info

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

1295 ><Node id="N5"

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

1297 /><Name

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

1299 ><LabelAbove

1300 >True</LabelAbove

1301 ><Shape

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

1303 ><Info

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

1305 ><Node id="N6"

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

1307 /><Name

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

1309 ><LabelAbove

1310 >True</LabelAbove

1311 ><Shape

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

1313 ><Info

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

1315 ><Edges

1316 ><Edge id="E1"

1317 ><From

1318 >3</From

1319 ><PortFrom

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

1321 ><To

1322 >6</To

1323 ><PortTo

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

1325 ><Via

1326 /><Info

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

1328 ><Edge id="E2"

1329 ><From

1330 >6</From

1331 ><PortFrom

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

1333 ><To

1334 >5</To

1335 ><PortTo

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

1337 ><Via

1338 /><Info

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

1340 ><Edge id="E3"

1341 ><From

1342 >6</From

1343 ><PortFrom

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

1345 ><To

1346 >4</To

1347 ><PortTo

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

1349 ><Via

1350 /><Info

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

1352 ><Mapping

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

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

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

1356 ><INRule

1357 ><Name

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

1359 ><LHS

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

1361 ><Info

1362 ><unit/></Info

1363 ><Nodes

1364 ><Node id="N1"

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

1366 /><Name

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

1368 ><LabelAbove

1369 >True</LabelAbove

1370 ><Shape

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

1372 ><Info

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

1374 ><Node id="N2"

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

1376 /><Name

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

1378 ><LabelAbove

1379 >True</LabelAbove

1380 ><Shape

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

1382 ><Info

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

1384 ><Node id="N3"

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

1386 /><Name

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

1388 ><LabelAbove

1389 >True</LabelAbove

1390 ><Shape

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

1392 ><Info

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

1394 ><Node id="N4"

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

1396 /><Name

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

1398 ><LabelAbove

1399 >True</LabelAbove

1400 ><Shape

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

1402 ><Info

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

1404 ><Node id="N5"

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

1406 /><Name

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

1408 ><LabelAbove

1409 >True</LabelAbove

1410 ><Shape

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

1412 ><Info

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

1414 ><Node id="N6"

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

1416 /><Name

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

1418 ><LabelAbove

1419 >True</LabelAbove

1420 ><Shape

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

1422 ><Info

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

1424 ><Edges

1425 ><Edge id="E1"

1426 ><From

1427 >1</From

1428 ><PortFrom

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

1430 ><To

1431 >2</To

1432 ><PortTo

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

1434 ><Via

1435 /><Info

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

1437 ><Edge id="E2"

1438 ><From

1439 >1</From

1440 ><PortFrom

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

1442 ><To

1443 >4</To

1444 ><PortTo

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

1446 ><Via

1447 /><Info

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

1449 ><Edge id="E3"

1450 ><From

1451 >1</From

1452 ><PortFrom

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

1454 ><To

1455 >3</To

1456 ><PortTo

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

1458 ><Via

1459 /><Info

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

1461 ><Edge id="E4"

1462 ><From

1463 >2</From

1464 ><PortFrom

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

1466 ><To

1467 >6</To

1468 ><PortTo

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

1470 ><Via

1471 /><Info

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

1473 ><Edge id="E5"

1474 ><From

1475 >2</From

1476 ><PortFrom

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

1478 ><To

1479 >5</To

1480 ><PortTo

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

1482 ><Via

1483 /><Info

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

1485 ><RHS

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

1487 ><Info

1488 ><unit/></Info

1489 ><Nodes

1490 ><Node id="N3"

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

1492 /><Name

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

1494 ><LabelAbove

1495 >True</LabelAbove

1496 ><Shape

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

1498 ><Info

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

1500 ><Node id="N4"

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

1502 /><Name

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

1504 ><LabelAbove

1505 >True</LabelAbove

1506 ><Shape

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

1508 ><Info

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

1510 ><Node id="N5"

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

1512 /><Name

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

1514 ><LabelAbove

1515 >True</LabelAbove

1516 ><Shape

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

1518 ><Info

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

1520 ><Node id="N6"

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

1522 /><Name

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

1524 ><LabelAbove

1525 >True</LabelAbove

1526 ><Shape

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

1528 ><Info

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

1530 ><Node id="N7"

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

1532 /><Name

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

1534 ><LabelAbove

1535 >True</LabelAbove

1536 ><Shape

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

1538 ><Info

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

1540 ><Edges

1541 ><Edge id="E1"

1542 ><From

1543 >3</From

1544 ><PortFrom

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

1546 ><To

1547 >7</To

1548 ><PortTo

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

1550 ><Via

1551 /><Info

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

1553 ><Edge id="E2"

1554 ><From

1555 >5</From

1556 ><PortFrom

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

1558 ><To

1559 >7</To

1560 ><PortTo

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

1562 ><Via

1563 /><Info

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

1565 ><Edge id="E3"

1566 ><From

1567 >6</From

1568 ><PortFrom

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

1570 ><To

1571 >4</To

1572 ><PortTo

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

1574 ><Via

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

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

1577 ><Info

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

1579 ><Mapping

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

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

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

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

1584 ><INRule

1585 ><Name

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

1587 ><LHS

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

1589 ><Info

1590 ><unit/></Info

1591 ><Nodes

1592 ><Node id="N1"

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

1594 /><Name

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

1596 ><LabelAbove

1597 >True</LabelAbove

1598 ><Shape

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

1600 ><Info

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

1602 ><Node id="N2"

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

1604 /><Name

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

1606 ><LabelAbove

1607 >True</LabelAbove

1608 ><Shape

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

1610 ><Info

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

1612 ><Node id="N3"

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

1614 /><Name

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

1616 ><LabelAbove

1617 >True</LabelAbove

1618 ><Shape

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

1620 ><Info

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

1622 ><Node id="N4"

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

1624 /><Name

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

1626 ><LabelAbove

1627 >True</LabelAbove

1628 ><Shape

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

1630 ><Info

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

1632 ><Node id="N5"

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

1634 /><Name

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

1636 ><LabelAbove

1637 >True</LabelAbove

1638 ><Shape

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

1640 ><Info

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

1642 ><Node id="N6"

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

1644 /><Name

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

1646 ><LabelAbove

1647 >True</LabelAbove

1648 ><Shape

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

1650 ><Info

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

1652 ><Edges

1653 ><Edge id="E1"

1654 ><From

1655 >1</From

1656 ><PortFrom

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

1658 ><To

1659 >2</To

1660 ><PortTo

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

1662 ><Via

1663 /><Info

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

1665 ><Edge id="E2"

1666 ><From

1667 >1</From

1668 ><PortFrom

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

1670 ><To

1671 >4</To

1672 ><PortTo

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

1674 ><Via

1675 /><Info

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

1677 ><Edge id="E3"

1678 ><From

1679 >1</From

1680 ><PortFrom

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

1682 ><To

1683 >3</To

1684 ><PortTo

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

1686 ><Via

1687 /><Info

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

1689 ><Edge id="E4"

1690 ><From

1691 >2</From

1692 ><PortFrom

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

1694 ><To

1695 >6</To

1696 ><PortTo

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

1698 ><Via

1699 /><Info

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

1701 ><Edge id="E5"

1702 ><From

1703 >2</From

1704 ><PortFrom

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

1706 ><To

1707 >5</To

1708 ><PortTo

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

1710 ><Via

1711 /><Info

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

1713 ><RHS

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

1715 ><Info

1716 ><unit/></Info

1717 ><Nodes

1718 ><Node id="N3"

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

1720 /><Name

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

1722 ><LabelAbove

1723 >True</LabelAbove

1724 ><Shape

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

1726 ><Info

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

1728 ><Node id="N4"

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

1730 /><Name

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

1732 ><LabelAbove

1733 >True</LabelAbove

1734 ><Shape

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

1736 ><Info

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

1738 ><Node id="N5"

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

1740 /><Name

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

1742 ><LabelAbove

1743 >True</LabelAbove

1744 ><Shape

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

1746 ><Info

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

1748 ><Node id="N6"

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

1750 /><Name

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

1752 ><LabelAbove

1753 >True</LabelAbove

1754 ><Shape

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

1756 ><Info

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

1758 ><Node id="N7"

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

1760 /><Name

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

1762 ><LabelAbove

1763 >True</LabelAbove

1764 ><Shape

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

1766 ><Info

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

1768 ><Node id="N8"

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

1770 /><Name

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

1772 ><LabelAbove

1773 >True</LabelAbove

1774 ><Shape

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

1776 ><Info

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

1778 ><Node id="N9"

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

1780 /><Name

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

1782 ><LabelAbove

1783 >True</LabelAbove

1784 ><Shape

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

1786 ><Info

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

1788 ><Node id="N10"

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

1790 /><Name

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

1792 ><LabelAbove

1793 >True</LabelAbove

1794 ><Shape

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

1796 ><Info

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

1798 ><Edges

1799 ><Edge id="E1"

1800 ><From

1801 >3</From

1802 ><PortFrom

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

1804 ><To

1805 >7</To

1806 ><PortTo

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

1808 ><Via

1809 /><Info

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

1811 ><Edge id="E2"

1812 ><From

1813 >4</From

1814 ><PortFrom

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

1816 ><To

1817 >8</To

1818 ><PortTo

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

1820 ><Via

1821 /><Info

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

1823 ><Edge id="E3"

1824 ><From

1825 >10</From

1826 ><PortFrom

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

1828 ><To

1829 >5</To

1830 ><PortTo

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

1832 ><Via

1833 /><Info

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

1835 ><Edge id="E4"

1836 ><From

1837 >9</From

1838 ><PortFrom

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

1840 ><To

1841 >6</To

1842 ><PortTo

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

1844 ><Via

1845 /><Info

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

1847 ><Edge id="E5"

1848 ><From

1849 >7</From

1850 ><PortFrom

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

1852 ><To

1853 >10</To

1854 ><PortTo

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

1856 ><Via

1857 /><Info

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

1859 ><Edge id="E6"

1860 ><From

1861 >8</From

1862 ><PortFrom

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

1864 ><To

1865 >10</To

1866 ><PortTo

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

1868 ><Via

1869 /><Info

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

1871 ><Edge id="E7"

1872 ><From

1873 >7</From

1874 ><PortFrom

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

1876 ><To

1877 >9</To

1878 ><PortTo

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

1880 ><Via

1881 /><Info

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

1883 ><Edge id="E8"

1884 ><From

1885 >9</From

1886 ><PortFrom

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

1888 ><To

1889 >8</To

1890 ><PortTo

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

1892 ><Via

1893 /><Info

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

1895 ><Mapping

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

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

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

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

1900 ><INRule

1901 ><Name

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

1903 ><LHS

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

1905 ><Info

1906 ><unit/></Info

1907 ><Nodes

1908 ><Node id="N1"

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

1910 /><Name

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

1912 ><LabelAbove

1913 >True</LabelAbove

1914 ><Shape

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

1916 ><Info

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

1918 ><Node id="N2"

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

1920 /><Name

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

1922 ><LabelAbove

1923 >True</LabelAbove

1924 ><Shape

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

1926 ><Info

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

1928 ><Node id="N3"

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

1930 /><Name

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

1932 ><LabelAbove

1933 >True</LabelAbove

1934 ><Shape

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

1936 ><Info

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

1938 ><Node id="N4"

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

1940 /><Name

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

1942 ><LabelAbove

1943 >True</LabelAbove

1944 ><Shape

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

1946 ><Info

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

1948 ><Node id="N5"

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

1950 /><Name

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

1952 ><LabelAbove

1953 >True</LabelAbove

1954 ><Shape

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

1956 ><Info

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

1958 ><Node id="N6"

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

1960 /><Name

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

1962 ><LabelAbove

1963 >True</LabelAbove

1964 ><Shape

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

1966 ><Info

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

1968 ><Edges

1969 ><Edge id="E1"

1970 ><From

1971 >1</From

1972 ><PortFrom

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

1974 ><To

1975 >2</To

1976 ><PortTo

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

1978 ><Via

1979 /><Info

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

1981 ><Edge id="E2"

1982 ><From

1983 >1</From

1984 ><PortFrom

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

1986 ><To

1987 >4</To

1988 ><PortTo

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

1990 ><Via

1991 /><Info

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

1993 ><Edge id="E3"

1994 ><From

1995 >1</From

1996 ><PortFrom

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

1998 ><To

1999 >3</To

2000 ><PortTo

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

2002 ><Via

2003 /><Info

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

2005 ><Edge id="E4"

2006 ><From

2007 >2</From

2008 ><PortFrom

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

2010 ><To

2011 >6</To

2012 ><PortTo

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

2014 ><Via

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

2016 ><Info

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

2018 ><Edge id="E5"

2019 ><From

2020 >2</From

2021 ><PortFrom

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

2023 ><To

2024 >5</To

2025 ><PortTo

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

2027 ><Via

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

2029 ><Info

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

2031 ><RHS

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

2033 ><Info

2034 ><unit/></Info

2035 ><Nodes

2036 ><Node id="N3"

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

2038 /><Name

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

2040 ><LabelAbove

2041 >True</LabelAbove

2042 ><Shape

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

2044 ><Info

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

2046 ><Node id="N4"

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

2048 /><Name

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

2050 ><LabelAbove

2051 >True</LabelAbove

2052 ><Shape

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

2054 ><Info

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

2056 ><Node id="N5"

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

2058 /><Name

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

2060 ><LabelAbove

2061 >True</LabelAbove

2062 ><Shape

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

2064 ><Info

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

2066 ><Node id="N6"

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

2068 /><Name

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

2070 ><LabelAbove

2071 >True</LabelAbove

2072 ><Shape

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

2074 ><Info

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

2076 ><Edges

2077 ><Edge id="E1"

2078 ><From

2079 >3</From

2080 ><PortFrom

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

2082 ><To

2083 >5</To

2084 ><PortTo

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

2086 ><Via

2087 /><Info

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

2089 ><Edge id="E2"

2090 ><From

2091 >4</From

2092 ><PortFrom

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

2094 ><To

2095 >6</To

2096 ><PortTo

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

2098 ><Via

2099 /><Info

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

2101 ><Mapping

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

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

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

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

2106 ><INRule

2107 ><Name

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

2109 ><LHS

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

2111 ><Info

2112 ><unit/></Info

2113 ><Nodes

2114 ><Node id="N1"

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

2116 /><Name

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

2118 ><LabelAbove

2119 >True</LabelAbove

2120 ><Shape

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

2122 ><Info

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

2124 ><Node id="N2"

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

2126 /><Name

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

2128 ><LabelAbove

2129 >True</LabelAbove

2130 ><Shape

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

2132 ><Info

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

2134 ><Node id="N3"

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

2136 /><Name

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

2138 ><LabelAbove

2139 >True</LabelAbove

2140 ><Shape

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

2142 ><Info

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

2144 ><Node id="N4"

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

2146 /><Name

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

2148 ><LabelAbove

2149 >True</LabelAbove

2150 ><Shape

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

2152 ><Info

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

2154 ><Edges

2155 ><Edge id="E1"

2156 ><From

2157 >1</From

2158 ><PortFrom

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

2160 ><To

2161 >2</To

2162 ><PortTo

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

2164 ><Via

2165 /><Info

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

2167 ><Edge id="E2"

2168 ><From

2169 >2</From

2170 ><PortFrom

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

2172 ><To

2173 >4</To

2174 ><PortTo

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

2176 ><Via

2177 /><Info

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

2179 ><Edge id="E3"

2180 ><From

2181 >2</From

2182 ><PortFrom

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

2184 ><To

2185 >3</To

2186 ><PortTo

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

2188 ><Via

2189 /><Info

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

2191 ><RHS

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

2193 ><Info

2194 ><unit/></Info

2195 ><Nodes

2196 ><Node id="N3"

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

2198 /><Name

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

2200 ><LabelAbove

2201 >True</LabelAbove

2202 ><Shape

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

2204 ><Info

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

2206 ><Node id="N4"

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

2208 /><Name

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

2210 ><LabelAbove

2211 >True</LabelAbove

2212 ><Shape

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

2214 ><Info

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

2216 ><Node id="N5"

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

2218 /><Name

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

2220 ><LabelAbove

2221 >True</LabelAbove

2222 ><Shape

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

2224 ><Info

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

2226 ><Node id="N6"

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

2228 /><Name

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

2230 ><LabelAbove

2231 >True</LabelAbove

2232 ><Shape

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

2234 ><Info

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

2236 ><Edges

2237 ><Edge id="E1"

2238 ><From

2239 >5</From

2240 ><PortFrom

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

2242 ><To

2243 >4</To

2244 ><PortTo

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

2246 ><Via

2247 /><Info

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

2249 ><Edge id="E2"

2250 ><From

2251 >6</From

2252 ><PortFrom

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

2254 ><To

2255 >3</To

2256 ><PortTo

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

2258 ><Via

2259 /><Info

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

2261 ><Mapping

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

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

2264 ><INRule

2265 ><Name

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

2267 ><LHS

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

2269 ><Info

2270 ><unit/></Info

2271 ><Nodes

2272 ><Node id="N1"

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

2274 /><Name

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

2276 ><LabelAbove

2277 >True</LabelAbove

2278 ><Shape

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

2280 ><Info

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

2282 ><Node id="N2"

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

2284 /><Name

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

2286 ><LabelAbove

2287 >True</LabelAbove

2288 ><Shape

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

2290 ><Info

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

2292 ><Node id="N3"

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

2294 /><Name

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

2296 ><LabelAbove

2297 >True</LabelAbove

2298 ><Shape

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

2300 ><Info

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

2302 ><Node id="N4"

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

2304 /><Name

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

2306 ><LabelAbove

2307 >True</LabelAbove

2308 ><Shape

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

2310 ><Info

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

2312 ><Edges

2313 ><Edge id="E1"

2314 ><From

2315 >1</From

2316 ><PortFrom

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

2318 ><To

2319 >2</To

2320 ><PortTo

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

2322 ><Via

2323 /><Info

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

2325 ><Edge id="E2"

2326 ><From

2327 >2</From

2328 ><PortFrom

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

2330 ><To

2331 >4</To

2332 ><PortTo

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

2334 ><Via

2335 /><Info

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

2337 ><Edge id="E3"

2338 ><From

2339 >2</From

2340 ><PortFrom

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

2342 ><To

2343 >3</To

2344 ><PortTo

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

2346 ><Via

2347 /><Info

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

2349 ><RHS

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

2351 ><Info

2352 ><unit/></Info

2353 ><Nodes

2354 ><Node id="N3"

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

2356 /><Name

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

2358 ><LabelAbove

2359 >True</LabelAbove

2360 ><Shape

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

2362 ><Info

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

2364 ><Node id="N4"

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

2366 /><Name

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

2368 ><LabelAbove

2369 >True</LabelAbove

2370 ><Shape

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

2372 ><Info

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

2374 ><Node id="N5"

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

2376 /><Name

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

2378 ><LabelAbove

2379 >True</LabelAbove

2380 ><Shape

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

2382 ><Info

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

2384 ><Node id="N6"

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

2386 /><Name

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

2388 ><LabelAbove

2389 >True</LabelAbove

2390 ><Shape

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

2392 ><Info

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

2394 ><Edges

2395 ><Edge id="E1"

2396 ><From

2397 >5</From

2398 ><PortFrom

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

2400 ><To

2401 >3</To

2402 ><PortTo

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

2404 ><Via

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

2406 ><Info

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

2408 ><Edge id="E2"

2409 ><From

2410 >6</From

2411 ><PortFrom

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

2413 ><To

2414 >4</To

2415 ><PortTo

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

2417 ><Via

2418 /><Info

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

2420 ><Mapping

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

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

2423 ><INRule

2424 ><Name

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

2426 ><LHS

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

2428 ><Info

2429 ><unit/></Info

2430 ><Nodes

2431 ><Node id="N1"

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

2433 /><Name

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

2435 ><LabelAbove

2436 >True</LabelAbove

2437 ><Shape

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

2439 ><Info

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

2441 ><Node id="N2"

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

2443 /><Name

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

2445 ><LabelAbove

2446 >True</LabelAbove

2447 ><Shape

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

2449 ><Info

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

2451 ><Node id="N3"

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

2453 /><Name

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

2455 ><LabelAbove

2456 >True</LabelAbove

2457 ><Shape

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

2459 ><Info

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

2461 ><Edges

2462 ><Edge id="E1"

2463 ><From

2464 >1</From

2465 ><PortFrom

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

2467 ><To

2468 >2</To

2469 ><PortTo

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

2471 ><Via

2472 /><Info

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

2474 ><Edge id="E2"

2475 ><From

2476 >2</From

2477 ><PortFrom

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

2479 ><To

2480 >3</To

2481 ><PortTo

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

2483 ><Via

2484 /><Info

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

2486 ><RHS

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

2488 ><Info

2489 ><unit/></Info

2490 ><Nodes

2491 ><Node id="N3"

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

2493 /><Name

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

2495 ><LabelAbove

2496 >True</LabelAbove

2497 ><Shape

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

2499 ><Info

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

2501 ><Node id="N4"

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

2503 /><Name

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

2505 ><LabelAbove

2506 >True</LabelAbove

2507 ><Shape

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

2509 ><Info

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

2511 ><Edges

2512 ><Edge id="E1"

2513 ><From

2514 >4</From

2515 ><PortFrom

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

2517 ><To

2518 >3</To

2519 ><PortTo

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

2521 ><Via

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

2523 ><Info

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

2525 ><Mapping

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

2527 ><INRule

2528 ><Name

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

2530 ><LHS

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

2532 ><Info

2533 ><unit/></Info

2534 ><Nodes

2535 ><Node id="N1"

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

2537 /><Name

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

2539 ><LabelAbove

2540 >True</LabelAbove

2541 ><Shape

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

2543 ><Info

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

2545 ><Node id="N2"

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

2547 /><Name

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

2549 ><LabelAbove

2550 >True</LabelAbove

2551 ><Shape

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

2553 ><Info

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

2555 ><Node id="N3"

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

2557 /><Name

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

2559 ><LabelAbove

2560 >True</LabelAbove

2561 ><Shape

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

2563 ><Info

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

2565 ><Edges

2566 ><Edge id="E1"

2567 ><From

2568 >1</From

2569 ><PortFrom

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

2571 ><To

2572 >2</To

2573 ><PortTo

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

2575 ><Via

2576 /><Info

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

2578 ><Edge id="E2"

2579 ><From

2580 >2</From

2581 ><PortFrom

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

2583 ><To

2584 >3</To

2585 ><PortTo

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

2587 ><Via

2588 /><Info

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

2590 ><RHS

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

2592 ><Info

2593 ><unit/></Info

2594 ><Nodes

2595 ><Node id="N3"

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

2597 /><Name

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

2599 ><LabelAbove

2600 >True</LabelAbove

2601 ><Shape

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

2603 ><Info

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

2605 ><Node id="N4"

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

2607 /><Name

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

2609 ><LabelAbove

2610 >True</LabelAbove

2611 ><Shape

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

2613 ><Info

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

2615 ><Edges

2616 ><Edge id="E1"

2617 ><From

2618 >4</From

2619 ><PortFrom

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

2621 ><To

2622 >3</To

2623 ><PortTo

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

2625 ><Via

2626 /><Info

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

2628 ><Mapping

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

2630 ><INRule

2631 ><Name

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

2633 ><LHS

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

2635 ><Info

2636 ><unit/></Info

2637 ><Nodes

2638 ><Node id="N1"

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

2640 /><Name

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

2642 ><LabelAbove

2643 >True</LabelAbove

2644 ><Shape

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

2646 ><Info

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

2648 ><Node id="N2"

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

2650 /><Name

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

2652 ><LabelAbove

2653 >True</LabelAbove

2654 ><Shape

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

2656 ><Info

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

2658 ><Node id="N3"

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

2660 /><Name

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

2662 ><LabelAbove

2663 >True</LabelAbove

2664 ><Shape

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

2666 ><Info

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

2668 ><Node id="N4"

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

2670 /><Name

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

2672 ><LabelAbove

2673 >True</LabelAbove

2674 ><Shape

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

2676 ><Info

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

2678 ><Edges

2679 ><Edge id="E1"

2680 ><From

2681 >1</From

2682 ><PortFrom

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

2684 ><To

2685 >2</To

2686 ><PortTo

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

2688 ><Via

2689 /><Info

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

2691 ><Edge id="E2"

2692 ><From

2693 >2</From

2694 ><PortFrom

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

2696 ><To

2697 >4</To

2698 ><PortTo

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

2700 ><Via

2701 /><Info

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

2703 ><Edge id="E3"

2704 ><From

2705 >2</From

2706 ><PortFrom

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

2708 ><To

2709 >3</To

2710 ><PortTo

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

2712 ><Via

2713 /><Info

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

2715 ><RHS

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

2717 ><Info

2718 ><unit/></Info

2719 ><Nodes

2720 ><Node id="N3"

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

2722 /><Name

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

2724 ><LabelAbove

2725 >True</LabelAbove

2726 ><Shape

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

2728 ><Info

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

2730 ><Node id="N4"

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

2732 /><Name

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

2734 ><LabelAbove

2735 >True</LabelAbove

2736 ><Shape

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

2738 ><Info

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

2740 ><Node id="N5"

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

2742 /><Name

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

2744 ><LabelAbove

2745 >True</LabelAbove

2746 ><Shape

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

2748 ><Info

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

2750 ><Node id="N6"

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

2752 /><Name

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

2754 ><LabelAbove

2755 >True</LabelAbove

2756 ><Shape

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

2758 ><Info

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

2760 ><Edges

2761 ><Edge id="E1"

2762 ><From

2763 >5</From

2764 ><PortFrom

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

2766 ><To

2767 >4</To

2768 ><PortTo

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

2770 ><Via

2771 /><Info

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

2773 ><Edge id="E2"

2774 ><From

2775 >6</From

2776 ><PortFrom

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

2778 ><To

2779 >3</To

2780 ><PortTo

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

2782 ><Via

2783 /><Info

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

2785 ><Mapping

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

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

2788 ><INRule

2789 ><Name

2790 ><![CDATA[Erase_Copy]]></Name

2791 ><LHS

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

2793 ><Info

2794 ><unit/></Info

2795 ><Nodes

2796 ><Node id="N1"

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

2798 /><Name

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

2800 ><LabelAbove

2801 >True</LabelAbove

2802 ><Shape

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

2804 ><Info

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

2806 ><Node id="N2"

2807 ><Position X="4.0529166666666665" Y="2.211666666666667"

2808 /><Name

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

2810 ><LabelAbove

2811 >True</LabelAbove

2812 ><Shape

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

2814 ><Info

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

2816 ><Node id="N3"

2817 ><Position X="3.4104166666666673" Y="0.8174999999999999"

2818 /><Name

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

2820 ><LabelAbove

2821 >True</LabelAbove

2822 ><Shape

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

2824 ><Info

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

2826 ><Node id="N4"

2827 ><Position X="4.860208333333334" Y="0.8175000000000001"

2828 /><Name

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

2830 ><LabelAbove

2831 >True</LabelAbove

2832 ><Shape

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

2834 ><Info

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

2836 ><Edges

2837 ><Edge id="E1"

2838 ><From

2839 >1</From

2840 ><PortFrom

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

2842 ><To

2843 >2</To

2844 ><PortTo

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

2846 ><Via

2847 /><Info

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

2849 ><Edge id="E2"

2850 ><From

2851 >2</From

2852 ><PortFrom

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

2854 ><To

2855 >4</To

2856 ><PortTo

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

2858 ><Via

2859 /><Info

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

2861 ><Edge id="E3"

2862 ><From

2863 >2</From

2864 ><PortFrom

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

2866 ><To

2867 >3</To

2868 ><PortTo

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

2870 ><Via

2871 /><Info

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

2873 ><RHS

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

2875 ><Info

2876 ><unit/></Info

2877 ><Nodes

2878 ><Node id="N3"

2879 ><Position X="3.4104166666666673" Y="0.8174999999999999"

2880 /><Name

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

2882 ><LabelAbove

2883 >True</LabelAbove

2884 ><Shape

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

2886 ><Info

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

2888 ><Node id="N4"

2889 ><Position X="4.860208333333334" Y="0.8175000000000001"

2890 /><Name

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

2892 ><LabelAbove

2893 >True</LabelAbove

2894 ><Shape

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

2896 ><Info

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

2898 ><Node id="N5"

2899 ><Position X="2.354791666666667" Y="2.672291666666667"

2900 /><Name

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

2902 ><LabelAbove

2903 >True</LabelAbove

2904 ><Shape

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

2906 ><Info

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

2908 ><Node id="N6"

2909 ><Position X="6.164791666666667" Y="2.6722916666666667"

2910 /><Name

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

2912 ><LabelAbove

2913 >True</LabelAbove

2914 ><Shape

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

2916 ><Info

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

2918 ><Edges

2919 ><Edge id="E1"

2920 ><From

2921 >5</From

2922 ><PortFrom

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

2924 ><To

2925 >3</To

2926 ><PortTo

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

2928 ><Via

2929 ><Position X="3.3866666666666667" Y="3.148541666666667"/></Via

2930 ><Info

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

2932 ><Edge id="E2"

2933 ><From

2934 >6</From

2935 ><PortFrom

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

2937 ><To

2938 >4</To

2939 ><PortTo

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

2941 ><Via

2942 ><Position X="4.841875000000001" Y="3.175"/></Via

2943 ><Info

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

2945 ><Mapping

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

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

2948 ><INRule

2949 ><Name

2950 ><![CDATA[Erase_Duplicator]]></Name

2951 ><LHS

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

2953 ><Info

2954 ><unit/></Info

2955 ><Nodes

2956 ><Node id="N1"

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

2958 /><Name

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

2960 ><LabelAbove

2961 >True</LabelAbove

2962 ><Shape

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

2964 ><Info

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

2966 ><Node id="N2"

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

2968 /><Name

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

2970 ><LabelAbove

2971 >True</LabelAbove

2972 ><Shape

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

2974 ><Info

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

2976 ><Node id="N3"

2977 ><Position X="2.8283333333333336" Y="0.6058333333333332"

2978 /><Name

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

2980 ><LabelAbove

2981 >True</LabelAbove

2982 ><Shape

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

2984 ><Info

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

2986 ><Node id="N4"

2987 ><Position X="5.124791666666667" Y="0.6322916666666667"

2988 /><Name

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

2990 ><LabelAbove

2991 >True</LabelAbove

2992 ><Shape

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

2994 ><Info

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

2996 ><Edges

2997 ><Edge id="E1"

2998 ><From

2999 >1</From

3000 ><PortFrom

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

3002 ><To

3003 >2</To

3004 ><PortTo

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

3006 ><Via

3007 /><Info

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

3009 ><Edge id="E2"

3010 ><From

3011 >2</From

3012 ><PortFrom

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

3014 ><To

3015 >4</To

3016 ><PortTo

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

3018 ><Via

3019 /><Info

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

3021 ><Edge id="E3"

3022 ><From

3023 >2</From

3024 ><PortFrom

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

3026 ><To

3027 >3</To

3028 ><PortTo

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

3030 ><Via

3031 /><Info

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

3033 ><RHS

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

3035 ><Info

3036 ><unit/></Info

3037 ><Nodes

3038 ><Node id="N3"

3039 ><Position X="2.8283333333333336" Y="0.6058333333333332"

3040 /><Name

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

3042 ><LabelAbove

3043 >True</LabelAbove

3044 ><Shape

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

3046 ><Info

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

3048 ><Node id="N4"

3049 ><Position X="5.124791666666667" Y="0.6322916666666667"

3050 /><Name

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

3052 ><LabelAbove

3053 >True</LabelAbove

3054 ><Shape

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

3056 ><Info

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

3058 ><Node id="N5"

3059 ><Position X="1.508125" Y="2.3283333333333336"

3060 /><Name

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

3062 ><LabelAbove

3063 >True</LabelAbove

3064 ><Shape

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

3066 ><Info

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

3068 ><Node id="N6"

3069 ><Position X="6.588125000000001" Y="2.3283333333333336"

3070 /><Name

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

3072 ><LabelAbove

3073 >True</LabelAbove

3074 ><Shape

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

3076 ><Info

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

3078 ><Edges

3079 ><Edge id="E1"

3080 ><From

3081 >3</From

3082 ><PortFrom

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

3084 ><To

3085 >5</To

3086 ><PortTo

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

3088 ><Via

3089 ><Position X="2.804583333333334" Y="2.8045833333333334"/></Via

3090 ><Info

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

3092 ><Edge id="E2"

3093 ><From

3094 >4</From

3095 ><PortFrom

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

3097 ><To

3098 >6</To

3099 ><PortTo

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

3101 ><Via

3102 ><Position X="5.106458333333333" Y="2.8045833333333334"/></Via

3103 ><Info

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

3105 ><Mapping

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

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

3108 ><INRule

3109 ><Name

3110 ><![CDATA[Erase_Erase]]></Name

3111 ><LHS

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

3113 ><Info

3114 ><unit/></Info

3115 ><Nodes

3116 ><Node id="N1"

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

3118 /><Name

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

3120 ><LabelAbove

3121 >True</LabelAbove

3122 ><Shape

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

3124 ><Info

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

3126 ><Node id="N2"

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

3128 /><Name

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

3130 ><LabelAbove

3131 >True</LabelAbove

3132 ><Shape

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

3134 ><Info

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

3136 ><Edges

3137 ><Edge id="E1"

3138 ><From

3139 >1</From

3140 ><PortFrom

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

3142 ><To

3143 >2</To

3144 ><PortTo

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

3146 ><Via

3147 /><Info

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

3149 ><RHS

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

3151 ><Info

3152 ><unit/></Info

3153 ><Nodes

3154 /><Edges/></Network></RHS

3155 ><Mapping/></INRule

3156 ><INRule

3157 ><Name

3158 ><![CDATA[Copy_Application]]></Name

3159 ><LHS

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

3161 ><Info

3162 ><unit/></Info

3163 ><Nodes

3164 ><Node id="N1"

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

3166 /><Name

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

3168 ><LabelAbove

3169 >True</LabelAbove

3170 ><Shape

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

3172 ><Info

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

3174 ><Node id="N2"

3175 ><Position X="3.6560416666666664" Y="2.88875"

3176 /><Name

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

3178 ><LabelAbove

3179 >True</LabelAbove

3180 ><Shape

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

3182 ><Info

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

3184 ><Node id="N3"

3185 ><Position X="1.5583333333333336" Y="0.5264583333333334"

3186 /><Name

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

3188 ><LabelAbove

3189 >True</LabelAbove

3190 ><Shape

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

3192 ><Info

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

3194 ><Node id="N4"

3195 ><Position X="2.5318750000000003" Y="0.5529166666666667"

3196 /><Name

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

3198 ><LabelAbove

3199 >True</LabelAbove

3200 ><Shape

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

3202 ><Info

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

3204 ><Node id="N5"

3205 ><Position X="2.6587500000000004" Y="5.130208333333333"

3206 /><Name

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

3208 ><LabelAbove

3209 >True</LabelAbove

3210 ><Shape

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

3212 ><Info

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

3214 ><Node id="N6"

3215 ><Position X="3.9660416666666674" Y="5.1295833333333345"

3216 /><Name

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

3218 ><LabelAbove

3219 >True</LabelAbove

3220 ><Shape

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

3222 ><Info

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

3224 ><Edges

3225 ><Edge id="E1"

3226 ><From

3227 >1</From

3228 ><PortFrom

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

3230 ><To

3231 >2</To

3232 ><PortTo

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

3234 ><Via

3235 ><Position X="1.9843750000000009" Y="3.1750000000000003"/></Via

3236 ><Info

3237 ><list-int/></Info></Edge

3238 ><Edge id="E2"

3239 ><From

3240 >1</From

3241 ><PortFrom

3242 ><![CDATA[snd_target]]></PortFrom

3243 ><To

3244 >4</To

3245 ><PortTo

3246 ><![CDATA[interface]]></PortTo

3247 ><Via

3248 /><Info

3249 ><list-int/></Info></Edge

3250 ><Edge id="E3"

3251 ><From

3252 >1</From

3253 ><PortFrom

3254 ><![CDATA[fst_target]]></PortFrom

3255 ><To

3256 >3</To

3257 ><PortTo

3258 ><![CDATA[interface]]></PortTo

3259 ><Via

3260 /><Info

3261 ><list-int/></Info></Edge

3262 ><Edge id="E4"

3263 ><From

3264 >2</From

3265 ><PortFrom

3266 ><![CDATA[arg]]></PortFrom

3267 ><To

3268 >6</To

3269 ><PortTo

3270 ><![CDATA[interface]]></PortTo

3271 ><Via

3272 /><Info

3273 ><list-int/></Info></Edge

3274 ><Edge id="E5"

3275 ><From

3276 >2</From

3277 ><PortFrom

3278 ><![CDATA[res]]></PortFrom

3279 ><To

3280 >5</To

3281 ><PortTo

3282 ><![CDATA[interface]]></PortTo

3283 ><Via

3284 ><Position X="2.6458333333333335" Y="2.513541666666667"/></Via

3285 ><Info

3286 ><list-int/></Info></Edge></Edges></Network></LHS

3287 ><RHS

3288 ><Network Width="15.0" Height="9.0"

3289 ><Info

3290 ><unit/></Info

3291 ><Nodes

3292 ><Node id="N3"

3293 ><Position X="1.5583333333333336" Y="0.5264583333333334"

3294 /><Name

3295 ><![CDATA[Node 3]]></Name

3296 ><LabelAbove

3297 >True</LabelAbove

3298 ><Shape

3299 ><![CDATA[interface]]></Shape

3300 ><Info

3301 ><list-int/></Info></Node

3302 ><Node id="N4"

3303 ><Position X="4.913125" Y="0.3677083333333333"

3304 /><Name

3305 ><![CDATA[Node 4]]></Name

3306 ><LabelAbove

3307 >True</LabelAbove

3308 ><Shape

3309 ><![CDATA[interface]]></Shape

3310 ><Info

3311 ><list-int/></Info></Node

3312 ><Node id="N5"

3313 ><Position X="3.0291666666666663" Y="5.050833333333333"

3314 /><Name

3315 ><![CDATA[Node 5]]></Name

3316 ><LabelAbove

3317 >True</LabelAbove

3318 ><Shape

3319 ><![CDATA[interface]]></Shape

3320 ><Info

3321 ><list-int/></Info></Node

3322 ><Node id="N6"

3323 ><Position X="6.05625" Y="4.997291666666667"

3324 /><Name

3325 ><![CDATA[Node 6]]></Name

3326 ><LabelAbove

3327 >True</LabelAbove

3328 ><Shape

3329 ><![CDATA[interface]]></Shape

3330 ><Info

3331 ><list-int/></Info></Node

3332 ><Node id="N7"

3333 ><Position X="6.058958333333335" Y="3.810000000000001"

3334 /><Name

3335 ><![CDATA[Node 7]]></Name

3336 ><LabelAbove

3337 >True</LabelAbove

3338 ><Shape

3339 ><![CDATA[copy]]></Shape

3340 ><Info

3341 ><list-int/></Info></Node

3342 ><Node id="N8"

3343 ><Position X="3.0427083333333336" Y="3.8364583333333333"

3344 /><Name

3345 ><![CDATA[Node 8]]></Name

3346 ><LabelAbove

3347 >True</LabelAbove

3348 ><Shape

3349 ><![CDATA[copy]]></Shape

3350 ><Info

3351 ><list-int/></Info></Node

3352 ><Node id="N9"

3353 ><Position X="2.7781250000000006" Y="1.6933333333333338"

3354 /><Name

3355 ><![CDATA[Node 9]]></Name

3356 ><LabelAbove

3357 >True</LabelAbove

3358 ><Shape

3359 ><![CDATA[application]]></Shape

3360 ><Info

3361 ><list-int/></Info></Node

3362 ><Node id="N10"

3363 ><Position X="6.058958333333334" Y="1.7197916666666666"

3364 /><Name

3365 ><![CDATA[Node 10]]></Name

3366 ><LabelAbove

3367 >True</LabelAbove

3368 ><Shape

3369 ><![CDATA[application]]></Shape

3370 ><Info

3371 ><list-int/></Info></Node></Nodes

3372 ><Edges

3373 ><Edge id="E1"

3374 ><From

3375 >9</From

3376 ><PortFrom

3377 ><![CDATA[func]]></PortFrom

3378 ><To

3379 >3</To

3380 ><PortTo

3381 ><![CDATA[interface]]></PortTo

3382 ><Via

3383 ><Position X="1.5345833333333332" Y="1.9843750000000004"/></Via

3384 ><Info

3385 ><list-int/></Info></Edge

3386 ><Edge id="E2"

3387 ><From

3388 >10</From

3389 ><PortFrom

3390 ><![CDATA[func]]></PortFrom

3391 ><To

3392 >4</To

3393 ><PortTo

3394 ><![CDATA[interface]]></PortTo

3395 ><Via

3396 ><Position X="4.894791666666666" Y="2.0108333333333333"/></Via

3397 ><Info

3398 ><list-int/></Info></Edge

3399 ><Edge id="E3"

3400 ><From

3401 >7</From

3402 ><PortFrom

3403 ><![CDATA[src]]></PortFrom

3404 ><To

3405 >6</To

3406 ><PortTo

3407 ><![CDATA[interface]]></PortTo

3408 ><Via

3409 /><Info

3410 ><list-int/></Info></Edge

3411 ><Edge id="E4"

3412 ><From

3413 >8</From

3414 ><PortFrom

3415 ><![CDATA[src]]></PortFrom

3416 ><To

3417 >5</To

3418 ><PortTo

3419 ><![CDATA[interface]]></PortTo

3420 ><Via

3421 /><Info

3422 ><list-int/></Info></Edge

3423 ><Edge id="E5"

3424 ><From

3425 >10</From

3426 ><PortFrom

3427 ><![CDATA[res]]></PortFrom

3428 ><To

3429 >8</To

3430 ><PortTo

3431 ><![CDATA[snd_target]]></PortTo

3432 ><Via

3433 ><Position X="4.339166666666666" Y="1.3758333333333332"/></Via

3434 ><Info

3435 ><list-int/></Info></Edge

3436 ><Edge id="E6"

3437 ><From

3438 >9</From

3439 ><PortFrom

3440 ><![CDATA[res]]></PortFrom

3441 ><To

3442 >8</To

3443 ><PortTo

3444 ><![CDATA[fst_target]]></PortTo

3445 ><Via

3446 ><Position X="1.9314583333333337" Y="1.349375"

3447 /><Position X="1.9314583333333337" Y="3.5189583333333334"/></Via

3448 ><Info

3449 ><list-int/></Info></Edge

3450 ><Edge id="E7"

3451 ><From

3452 >9</From

3453 ><PortFrom

3454 ><![CDATA[arg]]></PortFrom

3455 ><To

3456 >7</To

3457 ><PortTo

3458 ><![CDATA[fst_target]]></PortTo

3459 ><Via

3460 /><Info

3461 ><list-int/></Info></Edge

3462 ><Edge id="E8"

3463 ><From

3464 >10</From

3465 ><PortFrom

3466 ><![CDATA[arg]]></PortFrom

3467 ><To

3468 >7</To

3469 ><PortTo

3470 ><![CDATA[snd_target]]></PortTo

3471 ><Via

3472 /><Info

3473 ><list-int/></Info></Edge></Edges></Network></RHS

3474 ><Mapping

3475 ><MappingElement lhs="3" rhs="3"

3476 /><MappingElement lhs="4" rhs="4"

3477 /><MappingElement lhs="5" rhs="5"

3478 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

3479 ><INRule

3480 ><Name

3481 ><![CDATA[Copy_Evaluator]]></Name

3482 ><LHS

3483 ><Network Width="15.0" Height="9.0"

3484 ><Info

3485 ><unit/></Info

3486 ><Nodes

3487 ><Node id="N1"

3488 ><Position X="2.0" Y="2.0"

3489 /><Name

3490 ><![CDATA[Node 1]]></Name

3491 ><LabelAbove

3492 >True</LabelAbove

3493 ><Shape

3494 ><![CDATA[copy]]></Shape

3495 ><Info

3496 ><list-int/></Info></Node

3497 ><Node id="N2"

3498 ><Position X="4.026458333333333" Y="1.7883333333333333"

3499 /><Name

3500 ><![CDATA[Node 2]]></Name

3501 ><LabelAbove

3502 >True</LabelAbove

3503 ><Shape

3504 ><![CDATA[evaluation]]></Shape

3505 ><Info

3506 ><list-int/></Info></Node

3507 ><Node id="N3"

3508 ><Position X="1.4789583333333334" Y="0.6058333333333333"

3509 /><Name

3510 ><![CDATA[Node 3]]></Name

3511 ><LabelAbove

3512 >True</LabelAbove

3513 ><Shape

3514 ><![CDATA[interface]]></Shape

3515 ><Info

3516 ><list-int/></Info></Node

3517 ><Node id="N4"

3518 ><Position X="2.5583333333333336" Y="0.6322916666666667"

3519 /><Name

3520 ><![CDATA[Node 4]]></Name

3521 ><LabelAbove

3522 >True</LabelAbove

3523 ><Shape

3524 ><![CDATA[interface]]></Shape

3525 ><Info

3526 ><list-int/></Info></Node

3527 ><Node id="N5"

3528 ><Position X="6.045416666666667" Y="1.0291666666666668"

3529 /><Name

3530 ><![CDATA[Node 5]]></Name

3531 ><LabelAbove

3532 >True</LabelAbove

3533 ><Shape

3534 ><![CDATA[interface]]></Shape

3535 ><Info

3536 ><list-int/></Info></Node></Nodes

3537 ><Edges

3538 ><Edge id="E1"

3539 ><From

3540 >1</From

3541 ><PortFrom

3542 ><![CDATA[src]]></PortFrom

3543 ><To

3544 >2</To

3545 ><PortTo

3546 ><![CDATA[arg]]></PortTo

3547 ><Via

3548 /><Info

3549 ><list-int/></Info></Edge

3550 ><Edge id="E2"

3551 ><From

3552 >1</From

3553 ><PortFrom

3554 ><![CDATA[snd_target]]></PortFrom

3555 ><To

3556 >4</To

3557 ><PortTo

3558 ><![CDATA[interface]]></PortTo

3559 ><Via

3560 /><Info

3561 ><list-int/></Info></Edge

3562 ><Edge id="E3"

3563 ><From

3564 >1</From

3565 ><PortFrom

3566 ><![CDATA[fst_target]]></PortFrom

3567 ><To

3568 >3</To

3569 ><PortTo

3570 ><![CDATA[interface]]></PortTo

3571 ><Via

3572 /><Info

3573 ><list-int/></Info></Edge

3574 ><Edge id="E4"

3575 ><From

3576 >2</From

3577 ><PortFrom

3578 ><![CDATA[res]]></PortFrom

3579 ><To

3580 >5</To

3581 ><PortTo

3582 ><![CDATA[interface]]></PortTo

3583 ><Via

3584 /><Info

3585 ><list-int/></Info></Edge></Edges></Network></LHS

3586 ><RHS

3587 ><Network Width="15.0" Height="9.0"

3588 ><Info

3589 ><unit/></Info

3590 ><Nodes

3591 ><Node id="N3"

3592 ><Position X="1.9816666666666665" Y="0.6322916666666668"

3593 /><Name

3594 ><![CDATA[Node 3]]></Name

3595 ><LabelAbove

3596 >True</LabelAbove

3597 ><Shape

3598 ><![CDATA[interface]]></Shape

3599 ><Info

3600 ><list-int/></Info></Node

3601 ><Node id="N4"

3602 ><Position X="5.945" Y="0.6852083333333334"

3603 /><Name

3604 ><![CDATA[Node 4]]></Name

3605 ><LabelAbove

3606 >True</LabelAbove

3607 ><Shape

3608 ><![CDATA[interface]]></Shape

3609 ><Info

3610 ><list-int/></Info></Node

3611 ><Node id="N5"

3612 ><Position X="3.822916666666667" Y="5.262500000000001"

3613 /><Name

3614 ><![CDATA[Node 5]]></Name

3615 ><LabelAbove

3616 >True</LabelAbove

3617 ><Shape

3618 ><![CDATA[interface]]></Shape

3619 ><Info

3620 ><list-int/></Info></Node

3621 ><Node id="N6"

3622 ><Position X="3.8364583333333337" Y="3.571875"

3623 /><Name

3624 ><![CDATA[Node 6]]></Name

3625 ><LabelAbove

3626 >True</LabelAbove

3627 ><Shape

3628 ><![CDATA[copy]]></Shape

3629 ><Info

3630 ><list-int/></Info></Node

3631 ><Node id="N7"

3632 ><Position X="2.831041666666667" Y="2.407708333333333"

3633 /><Name

3634 ><![CDATA[Node 7]]></Name

3635 ><LabelAbove

3636 >True</LabelAbove

3637 ><Shape

3638 ><![CDATA[evaluation]]></Shape

3639 ><Info

3640 ><list-int/></Info></Node

3641 ><Node id="N8"

3642 ><Position X="5.000625" Y="2.407708333333333"

3643 /><Name

3644 ><![CDATA[Node 8]]></Name

3645 ><LabelAbove

3646 >True</LabelAbove

3647 ><Shape

3648 ><![CDATA[evaluation]]></Shape

3649 ><Info

3650 ><list-int/></Info></Node></Nodes

3651 ><Edges

3652 ><Edge id="E1"

3653 ><From

3654 >7</From

3655 ><PortFrom

3656 ><![CDATA[arg]]></PortFrom

3657 ><To

3658 >3</To

3659 ><PortTo

3660 ><![CDATA[interface]]></PortTo

3661 ><Via

3662 ><Position X="1.9579166666666667" Y="2.8839583333333336"/></Via

3663 ><Info

3664 ><list-int/></Info></Edge

3665 ><Edge id="E2"

3666 ><From

3667 >8</From

3668 ><PortFrom

3669 ><![CDATA[arg]]></PortFrom

3670 ><To

3671 >4</To

3672 ><PortTo

3673 ><![CDATA[interface]]></PortTo

3674 ><Via

3675 ><Position X="5.926666666666668" Y="2.8839583333333336"/></Via

3676 ><Info

3677 ><list-int/></Info></Edge

3678 ><Edge id="E3"

3679 ><From

3680 >6</From

3681 ><PortFrom

3682 ><![CDATA[src]]></PortFrom

3683 ><To

3684 >5</To

3685 ><PortTo

3686 ><![CDATA[interface]]></PortTo

3687 ><Via

3688 /><Info

3689 ><list-int/></Info></Edge

3690 ><Edge id="E4"

3691 ><From

3692 >6</From

3693 ><PortFrom

3694 ><![CDATA[fst_target]]></PortFrom

3695 ><To

3696 >7</To

3697 ><PortTo

3698 ><![CDATA[res]]></PortTo

3699 ><Via

3700 ><Position X="3.5189583333333334" Y="1.905"/></Via

3701 ><Info

3702 ><list-int/></Info></Edge

3703 ><Edge id="E5"

3704 ><From

3705 >6</From

3706 ><PortFrom

3707 ><![CDATA[snd_target]]></PortFrom

3708 ><To

3709 >8</To

3710 ><PortTo

3711 ><![CDATA[res]]></PortTo

3712 ><Via

3713 ><Position X="4.1275" Y="1.9050000000000002"/></Via

3714 ><Info

3715 ><list-int/></Info></Edge></Edges></Network></RHS

3716 ><Mapping

3717 ><MappingElement lhs="3" rhs="3"

3718 /><MappingElement lhs="4" rhs="4"

3719 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

3720 ><INRule

3721 ><Name

3722 ><![CDATA[Copy_EvaluatorReturning]]></Name

3723 ><LHS

3724 ><Network Width="15.0" Height="9.0"

3725 ><Info

3726 ><unit/></Info

3727 ><Nodes

3728 ><Node id="N1"

3729 ><Position X="2.0" Y="2.0"

3730 /><Name

3731 ><![CDATA[Node 1]]></Name

3732 ><LabelAbove

3733 >True</LabelAbove

3734 ><Shape

3735 ><![CDATA[copy]]></Shape

3736 ><Info

3737 ><list-int/></Info></Node

3738 ><Node id="N2"

3739 ><Position X="2.0" Y="4.0"

3740 /><Name

3741 ><![CDATA[Node 2]]></Name

3742 ><LabelAbove

3743 >True</LabelAbove

3744 ><Shape

3745 ><![CDATA[evalReturn]]></Shape

3746 ><Info

3747 ><list-int/></Info></Node

3748 ><Node id="N3"

3749 ><Position X="1.5054166666666666" Y="0.579375"

3750 /><Name

3751 ><![CDATA[Node 3]]></Name

3752 ><LabelAbove

3753 >True</LabelAbove

3754 ><Shape

3755 ><![CDATA[interface]]></Shape

3756 ><Info

3757 ><list-int/></Info></Node

3758 ><Node id="N4"

3759 ><Position X="2.5583333333333336" Y="0.579375"

3760 /><Name

3761 ><![CDATA[Node 4]]></Name

3762 ><LabelAbove

3763 >True</LabelAbove

3764 ><Shape

3765 ><![CDATA[interface]]></Shape

3766 ><Info

3767 ><list-int/></Info></Node

3768 ><Node id="N5"

3769 ><Position X="2.008125" Y="5.605833333333333"

3770 /><Name

3771 ><![CDATA[Node 5]]></Name

3772 ><LabelAbove

3773 >True</LabelAbove

3774 ><Shape

3775 ><![CDATA[interface]]></Shape

3776 ><Info

3777 ><list-int/></Info></Node></Nodes

3778 ><Edges

3779 ><Edge id="E1"

3780 ><From

3781 >1</From

3782 ><PortFrom

3783 ><![CDATA[src]]></PortFrom

3784 ><To

3785 >2</To

3786 ><PortTo

3787 ><![CDATA[res]]></PortTo

3788 ><Via

3789 /><Info

3790 ><list-int/></Info></Edge

3791 ><Edge id="E2"

3792 ><From

3793 >1</From

3794 ><PortFrom

3795 ><![CDATA[snd_target]]></PortFrom

3796 ><To

3797 >4</To

3798 ><PortTo

3799 ><![CDATA[interface]]></PortTo

3800 ><Via

3801 /><Info

3802 ><list-int/></Info></Edge

3803 ><Edge id="E3"

3804 ><From

3805 >1</From

3806 ><PortFrom

3807 ><![CDATA[fst_target]]></PortFrom

3808 ><To

3809 >3</To

3810 ><PortTo

3811 ><![CDATA[interface]]></PortTo

3812 ><Via

3813 /><Info

3814 ><list-int/></Info></Edge

3815 ><Edge id="E4"

3816 ><From

3817 >2</From

3818 ><PortFrom

3819 ><![CDATA[arg]]></PortFrom

3820 ><To

3821 >5</To

3822 ><PortTo

3823 ><![CDATA[interface]]></PortTo

3824 ><Via

3825 /><Info

3826 ><list-int/></Info></Edge></Edges></Network></LHS

3827 ><RHS

3828 ><Network Width="15.0" Height="9.0"

3829 ><Info

3830 ><unit/></Info

3831 ><Nodes

3832 ><Node id="N3"

3833 ><Position X="1.5054166666666666" Y="0.6058333333333333"

3834 /><Name

3835 ><![CDATA[Node 3]]></Name

3836 ><LabelAbove

3837 >True</LabelAbove

3838 ><Shape

3839 ><![CDATA[interface]]></Shape

3840 ><Info

3841 ><list-int/></Info></Node

3842 ><Node id="N4"

3843 ><Position X="2.5583333333333336" Y="0.579375"

3844 /><Name

3845 ><![CDATA[Node 4]]></Name

3846 ><LabelAbove

3847 >True</LabelAbove

3848 ><Shape

3849 ><![CDATA[interface]]></Shape

3850 ><Info

3851 ><list-int/></Info></Node

3852 ><Node id="N5"

3853 ><Position X="2.008125" Y="5.605833333333333"

3854 /><Name

3855 ><![CDATA[Node 5]]></Name

3856 ><LabelAbove

3857 >True</LabelAbove

3858 ><Shape

3859 ><![CDATA[interface]]></Shape

3860 ><Info

3861 ><list-int/></Info></Node

3862 ><Node id="N6"

3863 ><Position X="2.0108333333333333" Y="4.101041666666667"

3864 /><Name

3865 ><![CDATA[Node 6]]></Name

3866 ><LabelAbove

3867 >True</LabelAbove

3868 ><Shape

3869 ><![CDATA[copy]]></Shape

3870 ><Info

3871 ><list-int/></Info></Node

3872 ><Node id="N7"

3873 ><Position X="1.349375" Y="2.301875"

3874 /><Name

3875 ><![CDATA[Node 7]]></Name

3876 ><LabelAbove

3877 >True</LabelAbove

3878 ><Shape

3879 ><![CDATA[evalReturn]]></Shape

3880 ><Info

3881 ><list-int/></Info></Node

3882 ><Node id="N8"

3883 ><Position X="2.751666666666667" Y="2.3018750000000003"

3884 /><Name

3885 ><![CDATA[Node 8]]></Name

3886 ><LabelAbove

3887 >True</LabelAbove

3888 ><Shape

3889 ><![CDATA[evalReturn]]></Shape

3890 ><Info

3891 ><list-int/></Info></Node></Nodes

3892 ><Edges

3893 ><Edge id="E1"

3894 ><From

3895 >6</From

3896 ><PortFrom

3897 ><![CDATA[src]]></PortFrom

3898 ><To

3899 >5</To

3900 ><PortTo

3901 ><![CDATA[interface]]></PortTo

3902 ><Via

3903 /><Info

3904 ><list-int/></Info></Edge

3905 ><Edge id="E2"

3906 ><From

3907 >3</From

3908 ><PortFrom

3909 ><![CDATA[interface]]></PortFrom

3910 ><To

3911 >7</To

3912 ><PortTo

3913 ><![CDATA[res]]></PortTo

3914 ><Via

3915 /><Info

3916 ><list-int/></Info></Edge

3917 ><Edge id="E3"

3918 ><From

3919 >4</From

3920 ><PortFrom

3921 ><![CDATA[interface]]></PortFrom

3922 ><To

3923 >8</To

3924 ><PortTo

3925 ><![CDATA[res]]></PortTo

3926 ><Via

3927 /><Info

3928 ><list-int/></Info></Edge

3929 ><Edge id="E4"

3930 ><From

3931 >7</From

3932 ><PortFrom

3933 ><![CDATA[arg]]></PortFrom

3934 ><To

3935 >6</To

3936 ><PortTo

3937 ><![CDATA[fst_target]]></PortTo

3938 ><Via

3939 /><Info

3940 ><list-int/></Info></Edge

3941 ><Edge id="E5"

3942 ><From

3943 >8</From

3944 ><PortFrom

3945 ><![CDATA[arg]]></PortFrom

3946 ><To

3947 >6</To

3948 ><PortTo

3949 ><![CDATA[snd_target]]></PortTo

3950 ><Via

3951 /><Info

3952 ><list-int/></Info></Edge></Edges></Network></RHS

3953 ><Mapping

3954 ><MappingElement lhs="3" rhs="3"

3955 /><MappingElement lhs="4" rhs="4"

3956 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

3957 ><INRule

3958 ><Name

3959 ><![CDATA[Copy_preApplication]]></Name

3960 ><LHS

3961 ><Network Width="15.0" Height="9.0"

3962 ><Info

3963 ><unit/></Info

3964 ><Nodes

3965 ><Node id="N1"

3966 ><Position X="2.0" Y="2.0"

3967 /><Name

3968 ><![CDATA[Node 1]]></Name

3969 ><LabelAbove

3970 >True</LabelAbove

3971 ><Shape

3972 ><![CDATA[copy]]></Shape

3973 ><Info

3974 ><list-int/></Info></Node

3975 ><Node id="N2"

3976 ><Position X="2.0" Y="4.0"

3977 /><Name

3978 ><![CDATA[Node 2]]></Name

3979 ><LabelAbove

3980 >True</LabelAbove

3981 ><Shape

3982 ><![CDATA[beforeApplication]]></Shape

3983 ><Info

3984 ><list-int/></Info></Node

3985 ><Node id="N3"

3986 ><Position X="1.1614583333333335" Y="0.5264583333333334"

3987 /><Name

3988 ><![CDATA[Node 3]]></Name

3989 ><LabelAbove

3990 >True</LabelAbove

3991 ><Shape

3992 ><![CDATA[interface]]></Shape

3993 ><Info

3994 ><list-int/></Info></Node

3995 ><Node id="N4"

3996 ><Position X="2.9022916666666667" Y="0.579375"

3997 /><Name

3998 ><![CDATA[Node 4]]></Name

3999 ><LabelAbove

4000 >True</LabelAbove

4001 ><Shape

4002 ><![CDATA[interface]]></Shape

4003 ><Info

4004 ><list-int/></Info></Node

4005 ><Node id="N5"

4006 ><Position X="2.616666666666667" Y="5.420625"

4007 /><Name

4008 ><![CDATA[Node 5]]></Name

4009 ><LabelAbove

4010 >True</LabelAbove

4011 ><Shape

4012 ><![CDATA[interface]]></Shape

4013 ><Info

4014 ><list-int/></Info></Node

4015 ><Node id="N6"

4016 ><Position X="1.5" Y="5.5"

4017 /><Name

4018 ><![CDATA[Node 6]]></Name

4019 ><LabelAbove

4020 >True</LabelAbove

4021 ><Shape

4022 ><![CDATA[interface]]></Shape

4023 ><Info

4024 ><list-int/></Info></Node></Nodes

4025 ><Edges

4026 ><Edge id="E1"

4027 ><From

4028 >1</From

4029 ><PortFrom

4030 ><![CDATA[src]]></PortFrom

4031 ><To

4032 >2</To

4033 ><PortTo

4034 ><![CDATA[res]]></PortTo

4035 ><Via

4036 /><Info

4037 ><list-int/></Info></Edge

4038 ><Edge id="E2"

4039 ><From

4040 >1</From

4041 ><PortFrom

4042 ><![CDATA[snd_target]]></PortFrom

4043 ><To

4044 >4</To

4045 ><PortTo

4046 ><![CDATA[interface]]></PortTo

4047 ><Via

4048 /><Info

4049 ><list-int/></Info></Edge

4050 ><Edge id="E3"

4051 ><From

4052 >1</From

4053 ><PortFrom

4054 ><![CDATA[fst_target]]></PortFrom

4055 ><To

4056 >3</To

4057 ><PortTo

4058 ><![CDATA[interface]]></PortTo

4059 ><Via

4060 /><Info

4061 ><list-int/></Info></Edge

4062 ><Edge id="E4"

4063 ><From

4064 >2</From

4065 ><PortFrom

4066 ><![CDATA[func]]></PortFrom

4067 ><To

4068 >6</To

4069 ><PortTo

4070 ><![CDATA[interface]]></PortTo

4071 ><Via

4072 /><Info

4073 ><list-int/></Info></Edge

4074 ><Edge id="E5"

4075 ><From

4076 >2</From

4077 ><PortFrom

4078 ><![CDATA[arg]]></PortFrom

4079 ><To

4080 >5</To

4081 ><PortTo

4082 ><![CDATA[interface]]></PortTo

4083 ><Via

4084 /><Info

4085 ><list-int/></Info></Edge></Edges></Network></LHS

4086 ><RHS

4087 ><Network Width="15.0" Height="9.0"

4088 ><Info

4089 ><unit/></Info

4090 ><Nodes

4091 ><Node id="N3"

4092 ><Position X="0.8704166666666667" Y="0.5264583333333334"

4093 /><Name

4094 ><![CDATA[Node 3]]></Name

4095 ><LabelAbove

4096 >True</LabelAbove

4097 ><Shape

4098 ><![CDATA[interface]]></Shape

4099 ><Info

4100 ><list-int/></Info></Node

4101 ><Node id="N4"

4102 ><Position X="2.214374999999999" Y="0.5529166666666667"

4103 /><Name

4104 ><![CDATA[Node 4]]></Name

4105 ><LabelAbove

4106 >True</LabelAbove

4107 ><Shape

4108 ><![CDATA[interface]]></Shape

4109 ><Info

4110 ><list-int/></Info></Node

4111 ><Node id="N5"

4112 ><Position X="0.8439583333333335" Y="5.526458333333333"

4113 /><Name

4114 ><![CDATA[Node 5]]></Name

4115 ><LabelAbove

4116 >True</LabelAbove

4117 ><Shape

4118 ><![CDATA[interface]]></Shape

4119 ><Info

4120 ><list-int/></Info></Node

4121 ><Node id="N6"

4122 ><Position X="2.187916666666666" Y="5.5529166666666665"

4123 /><Name

4124 ><![CDATA[Node 6]]></Name

4125 ><LabelAbove

4126 >True</LabelAbove

4127 ><Shape

4128 ><![CDATA[interface]]></Shape

4129 ><Info

4130 ><list-int/></Info></Node

4131 ><Node id="N7"

4132 ><Position X="0.8466666666666668" Y="1.9314583333333335"

4133 /><Name

4134 ><![CDATA[Node 7]]></Name

4135 ><LabelAbove

4136 >True</LabelAbove

4137 ><Shape

4138 ><![CDATA[beforeApplication]]></Shape

4139 ><Info

4140 ><list-int/></Info></Node

4141 ><Node id="N8"

4142 ><Position X="2.1960416666666664" Y="1.9314583333333335"

4143 /><Name

4144 ><![CDATA[Node 8]]></Name

4145 ><LabelAbove

4146 >True</LabelAbove

4147 ><Shape

4148 ><![CDATA[beforeApplication]]></Shape

4149 ><Info

4150 ><list-int/></Info></Node

4151 ><Node id="N9"

4152 ><Position X="0.846666666666667" Y="4.312708333333333"

4153 /><Name

4154 ><![CDATA[Node 9]]></Name

4155 ><LabelAbove

4156 >True</LabelAbove

4157 ><Shape

4158 ><![CDATA[copy]]></Shape

4159 ><Info

4160 ><list-int/></Info></Node

4161 ><Node id="N10"

4162 ><Position X="2.1960416666666664" Y="4.339166666666667"

4163 /><Name

4164 ><![CDATA[Node 10]]></Name

4165 ><LabelAbove

4166 >True</LabelAbove

4167 ><Shape

4168 ><![CDATA[copy]]></Shape

4169 ><Info

4170 ><list-int/></Info></Node></Nodes

4171 ><Edges

4172 ><Edge id="E1"

4173 ><From

4174 >9</From

4175 ><PortFrom

4176 ><![CDATA[src]]></PortFrom

4177 ><To

4178 >5</To

4179 ><PortTo

4180 ><![CDATA[interface]]></PortTo

4181 ><Via

4182 /><Info

4183 ><list-int/></Info></Edge

4184 ><Edge id="E2"

4185 ><From

4186 >10</From

4187 ><PortFrom

4188 ><![CDATA[src]]></PortFrom

4189 ><To

4190 >6</To

4191 ><PortTo

4192 ><![CDATA[interface]]></PortTo

4193 ><Via

4194 /><Info

4195 ><list-int/></Info></Edge

4196 ><Edge id="E3"

4197 ><From

4198 >3</From

4199 ><PortFrom

4200 ><![CDATA[interface]]></PortFrom

4201 ><To

4202 >7</To

4203 ><PortTo

4204 ><![CDATA[res]]></PortTo

4205 ><Via

4206 /><Info

4207 ><list-int/></Info></Edge

4208 ><Edge id="E4"

4209 ><From

4210 >4</From

4211 ><PortFrom

4212 ><![CDATA[interface]]></PortFrom

4213 ><To

4214 >8</To

4215 ><PortTo

4216 ><![CDATA[res]]></PortTo

4217 ><Via

4218 /><Info

4219 ><list-int/></Info></Edge

4220 ><Edge id="E5"

4221 ><From

4222 >7</From

4223 ><PortFrom

4224 ><![CDATA[func]]></PortFrom

4225 ><To

4226 >9</To

4227 ><PortTo

4228 ><![CDATA[fst_target]]></PortTo

4229 ><Via

4230 /><Info

4231 ><list-int/></Info></Edge

4232 ><Edge id="E6"

4233 ><From

4234 >8</From

4235 ><PortFrom

4236 ><![CDATA[arg]]></PortFrom

4237 ><To

4238 >10</To

4239 ><PortTo

4240 ><![CDATA[snd_target]]></PortTo

4241 ><Via

4242 /><Info

4243 ><list-int/></Info></Edge

4244 ><Edge id="E7"

4245 ><From

4246 >7</From

4247 ><PortFrom

4248 ><![CDATA[arg]]></PortFrom

4249 ><To

4250 >10</To

4251 ><PortTo

4252 ><![CDATA[fst_target]]></PortTo

4253 ><Via

4254 /><Info

4255 ><list-int/></Info></Edge

4256 ><Edge id="E8"

4257 ><From

4258 >8</From

4259 ><PortFrom

4260 ><![CDATA[func]]></PortFrom

4261 ><To

4262 >9</To

4263 ><PortTo

4264 ><![CDATA[snd_target]]></PortTo

4265 ><Via

4266 /><Info

4267 ><list-int/></Info></Edge></Edges></Network></RHS

4268 ><Mapping

4269 ><MappingElement lhs="3" rhs="3"

4270 /><MappingElement lhs="4" rhs="4"

4271 /><MappingElement lhs="5" rhs="6"

4272 /><MappingElement lhs="6" rhs="5"/></Mapping></INRule

4273 ><INRule

4274 ><Name

4275 ><![CDATA[Copy_Duplicator]]></Name

4276 ><LHS

4277 ><Network Width="15.0" Height="9.0"

4278 ><Info

4279 ><unit/></Info

4280 ><Nodes

4281 ><Node id="N1"

4282 ><Position X="2.0" Y="2.0"

4283 /><Name

4284 ><![CDATA[Node 1]]></Name

4285 ><LabelAbove

4286 >True</LabelAbove

4287 ><Shape

4288 ><![CDATA[copy]]></Shape

4289 ><Info

4290 ><list-int/></Info></Node

4291 ><Node id="N2"

4292 ><Position X="3.9735416666666667" Y="1.7883333333333333"

4293 /><Name

4294 ><![CDATA[Node 2]]></Name

4295 ><LabelAbove

4296 >True</LabelAbove

4297 ><Shape

4298 ><![CDATA[duplicator]]></Shape

4299 ><Info

4300 ><list-int/></Info></Node

4301 ><Node id="N3"

4302 ><Position X="1.4789583333333334" Y="0.5"

4303 /><Name

4304 ><![CDATA[Node 3]]></Name

4305 ><LabelAbove

4306 >True</LabelAbove

4307 ><Shape

4308 ><![CDATA[interface]]></Shape

4309 ><Info

4310 ><list-int/></Info></Node

4311 ><Node id="N4"

4312 ><Position X="2.267291666666667" Y="0.5"

4313 /><Name

4314 ><![CDATA[Node 4]]></Name

4315 ><LabelAbove

4316 >True</LabelAbove

4317 ><Shape

4318 ><![CDATA[interface]]></Shape

4319 ><Info

4320 ><list-int/></Info></Node

4321 ><Node id="N5"

4322 ><Position X="3.5318750000000003" Y="0.4735416666666667"

4323 /><Name

4324 ><![CDATA[Node 5]]></Name

4325 ><LabelAbove

4326 >True</LabelAbove

4327 ><Shape

4328 ><![CDATA[interface]]></Shape

4329 ><Info

4330 ><list-int/></Info></Node

4331 ><Node id="N6"

4332 ><Position X="4.690625" Y="0.5"

4333 /><Name

4334 ><![CDATA[Node 6]]></Name

4335 ><LabelAbove

4336 >True</LabelAbove

4337 ><Shape

4338 ><![CDATA[interface]]></Shape

4339 ><Info

4340 ><list-int/></Info></Node></Nodes

4341 ><Edges

4342 ><Edge id="E1"

4343 ><From

4344 >1</From

4345 ><PortFrom

4346 ><![CDATA[src]]></PortFrom

4347 ><To

4348 >2</To

4349 ><PortTo

4350 ><![CDATA[down]]></PortTo

4351 ><Via

4352 /><Info

4353 ><list-int/></Info></Edge

4354 ><Edge id="E2"

4355 ><From

4356 >1</From

4357 ><PortFrom

4358 ><![CDATA[snd_target]]></PortFrom

4359 ><To

4360 >4</To

4361 ><PortTo

4362 ><![CDATA[interface]]></PortTo

4363 ><Via

4364 /><Info

4365 ><list-int/></Info></Edge

4366 ><Edge id="E3"

4367 ><From

4368 >1</From

4369 ><PortFrom

4370 ><![CDATA[fst_target]]></PortFrom

4371 ><To

4372 >3</To

4373 ><PortTo

4374 ><![CDATA[interface]]></PortTo

4375 ><Via

4376 /><Info

4377 ><list-int/></Info></Edge

4378 ><Edge id="E4"

4379 ><From

4380 >2</From

4381 ><PortFrom

4382 ><![CDATA[copy2]]></PortFrom

4383 ><To

4384 >6</To

4385 ><PortTo

4386 ><![CDATA[interface]]></PortTo

4387 ><Via

4388 /><Info

4389 ><list-int/></Info></Edge

4390 ><Edge id="E5"

4391 ><From

4392 >2</From

4393 ><PortFrom

4394 ><![CDATA[copy1]]></PortFrom

4395 ><To

4396 >5</To

4397 ><PortTo

4398 ><![CDATA[interface]]></PortTo

4399 ><Via

4400 /><Info

4401 ><list-int/></Info></Edge></Edges></Network></LHS

4402 ><RHS

4403 ><Network Width="15.0" Height="9.0"

4404 ><Info

4405 ><unit/></Info

4406 ><Nodes

4407 ><Node id="N3"

4408 ><Position X="1.4789583333333334" Y="0.5"

4409 /><Name

4410 ><![CDATA[Node 3]]></Name

4411 ><LabelAbove

4412 >True</LabelAbove

4413 ><Shape

4414 ><![CDATA[interface]]></Shape

4415 ><Info

4416 ><list-int/></Info></Node

4417 ><Node id="N4"

4418 ><Position X="2.29375" Y="0.5"

4419 /><Name

4420 ><![CDATA[Node 4]]></Name

4421 ><LabelAbove

4422 >True</LabelAbove

4423 ><Shape

4424 ><![CDATA[interface]]></Shape

4425 ><Info

4426 ><list-int/></Info></Node

4427 ><Node id="N5"

4428 ><Position X="7.844583333333335" Y="5.500625"

4429 /><Name

4430 ><![CDATA[Node 5]]></Name

4431 ><LabelAbove

4432 >True</LabelAbove

4433 ><Shape

4434 ><![CDATA[interface]]></Shape

4435 ><Info

4436 ><list-int/></Info></Node

4437 ><Node id="N6"

4438 ><Position X="9.267916666666672" Y="5.606458333333333"

4439 /><Name

4440 ><![CDATA[Node 6]]></Name

4441 ><LabelAbove

4442 >True</LabelAbove

4443 ><Shape

4444 ><![CDATA[interface]]></Shape

4445 ><Info

4446 ><list-int/></Info></Node

4447 ><Node id="N7"

4448 ><Position X="7.884583333333335" Y="4.259791666666667"

4449 /><Name

4450 ><![CDATA[Node 7]]></Name

4451 ><LabelAbove

4452 >True</LabelAbove

4453 ><Shape

4454 ><![CDATA[copy]]></Shape

4455 ><Info

4456 ><list-int/></Info></Node

4457 ><Node id="N8"

4458 ><Position X="9.260416666666671" Y="4.312708333333333"

4459 /><Name

4460 ><![CDATA[Node 8]]></Name

4461 ><LabelAbove

4462 >True</LabelAbove

4463 ><Shape

4464 ><![CDATA[copy]]></Shape

4465 ><Info

4466 ><list-int/></Info></Node

4467 ><Node id="N9"

4468 ><Position X="2.460625000000001" Y="3.175000000000001"

4469 /><Name

4470 ><![CDATA[Node 9]]></Name

4471 ><LabelAbove

4472 >True</LabelAbove

4473 ><Shape

4474 ><![CDATA[duplicator]]></Shape

4475 ><Info

4476 ><list-int/></Info></Node

4477 ><Node id="N10"

4478 ><Position X="4.788958333333334" Y="1.2435416666666672"

4479 /><Name

4480 ><![CDATA[Node 10]]></Name

4481 ><LabelAbove

4482 >True</LabelAbove

4483 ><Shape

4484 ><![CDATA[duplicator]]></Shape

4485 ><Info

4486 ><list-int/></Info></Node></Nodes

4487 ><Edges

4488 ><Edge id="E1"

4489 ><From

4490 >7</From

4491 ><PortFrom

4492 ><![CDATA[src]]></PortFrom

4493 ><To

4494 >5</To

4495 ><PortTo

4496 ><![CDATA[interface]]></PortTo

4497 ><Via

4498 /><Info

4499 ><list-int/></Info></Edge

4500 ><Edge id="E2"

4501 ><From

4502 >6</From

4503 ><PortFrom

4504 ><![CDATA[interface]]></PortFrom

4505 ><To

4506 >8</To

4507 ><PortTo

4508 ><![CDATA[src]]></PortTo

4509 ><Via

4510 /><Info

4511 ><list-int/></Info></Edge

4512 ><Edge id="E3"

4513 ><From

4514 >9</From

4515 ><PortFrom

4516 ><![CDATA[down]]></PortFrom

4517 ><To

4518 >3</To

4519 ><PortTo

4520 ><![CDATA[interface]]></PortTo

4521 ><Via

4522 ><Position X="1.4552083333333334" Y="3.6512500000000006"/></Via

4523 ><Info

4524 ><list-int/></Info></Edge

4525 ><Edge id="E4"

4526 ><From

4527 >4</From

4528 ><PortFrom

4529 ><![CDATA[interface]]></PortFrom

4530 ><To

4531 >10</To

4532 ><PortTo

4533 ><![CDATA[down]]></PortTo

4534 ><Via

4535 ><Position X="2.2754166666666666" Y="1.7197916666666666"/></Via

4536 ><Info

4537 ><list-int/></Info></Edge

4538 ><Edge id="E5"

4539 ><From

4540 >9</From

4541 ><PortFrom

4542 ><![CDATA[copy2]]></PortFrom

4543 ><To

4544 >8</To

4545 ><PortTo

4546 ><![CDATA[snd_target]]></PortTo

4547 ><Via

4548 ><Position X="9.551458333333334" Y="2.857500000000001"/></Via

4549 ><Info

4550 ><list-int/></Info></Edge

4551 ><Edge id="E6"

4552 ><From

4553 >7</From

4554 ><PortFrom

4555 ><![CDATA[fst_target]]></PortFrom

4556 ><To

4557 >10</To

4558 ><PortTo

4559 ><![CDATA[copy1]]></PortTo

4560 ><Via

4561 ><Position X="7.567083333333334" Y="0.39687500000000003"

4562 /><Position X="4.4714583333333335" Y="0.3968750000000003"/></Via

4563 ><Info

4564 ><list-int/></Info></Edge

4565 ><Edge id="E7"

4566 ><From

4567 >10</From

4568 ><PortFrom

4569 ><![CDATA[copy2]]></PortFrom

4570 ><To

4571 >8</To

4572 ><PortTo

4573 ><![CDATA[fst_target]]></PortTo

4574 ><Via

4575 ><Position X="8.942916666666669" Y="0.9260416666666667"/></Via

4576 ><Info

4577 ><list-int/></Info></Edge

4578 ><Edge id="E8"

4579 ><From

4580 >9</From

4581 ><PortFrom

4582 ><![CDATA[copy1]]></PortFrom

4583 ><To

4584 >7</To

4585 ><PortTo

4586 ><![CDATA[snd_target]]></PortTo

4587 ><Via

4588 ><Position X="2.1431250000000004" Y="2.248958333333334"

4589 /><Position X="8.202083333333333" Y="2.248958333333334"/></Via

4590 ><Info

4591 ><list-int/></Info></Edge></Edges></Network></RHS

4592 ><Mapping

4593 ><MappingElement lhs="3" rhs="3"

4594 /><MappingElement lhs="4" rhs="4"

4595 /><MappingElement lhs="5" rhs="5"

4596 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

4597 ><INRule

4598 ><Name

4599 ><![CDATA[Duplicator_Lambda]]></Name

4600 ><LHS

4601 ><Network Width="15.0" Height="9.0"

4602 ><Info

4603 ><unit/></Info

4604 ><Nodes

4605 ><Node id="N1"

4606 ><Position X="2.0" Y="2.0"

4607 /><Name

4608 ><![CDATA[Node 1]]></Name

4609 ><LabelAbove

4610 >True</LabelAbove

4611 ><Shape

4612 ><![CDATA[duplicator]]></Shape

4613 ><Info

4614 ><list-int/></Info></Node

4615 ><Node id="N2"

4616 ><Position X="2.0" Y="4.0"

4617 /><Name

4618 ><![CDATA[Node 2]]></Name

4619 ><LabelAbove

4620 >True</LabelAbove

4621 ><Shape

4622 ><![CDATA[lambda]]></Shape

4623 ><Info

4624 ><list-int/></Info></Node

4625 ><Node id="N3"

4626 ><Position X="0.9233333333333333" Y="0.5"

4627 /><Name

4628 ><![CDATA[Node 3]]></Name

4629 ><LabelAbove

4630 >True</LabelAbove

4631 ><Shape

4632 ><![CDATA[interface]]></Shape

4633 ><Info

4634 ><list-int/></Info></Node

4635 ><Node id="N4"

4636 ><Position X="2.92875" Y="0.5529166666666667"

4637 /><Name

4638 ><![CDATA[Node 4]]></Name

4639 ><LabelAbove

4640 >True</LabelAbove

4641 ><Shape

4642 ><![CDATA[interface]]></Shape

4643 ><Info

4644 ><list-int/></Info></Node

4645 ><Node id="N5"

4646 ><Position X="2.6695833333333336" Y="5.4470833333333335"

4647 /><Name

4648 ><![CDATA[Node 5]]></Name

4649 ><LabelAbove

4650 >True</LabelAbove

4651 ><Shape

4652 ><![CDATA[interface]]></Shape

4653 ><Info

4654 ><list-int/></Info></Node

4655 ><Node id="N6"

4656 ><Position X="1.3147916666666666" Y="5.473541666666667"

4657 /><Name

4658 ><![CDATA[Node 6]]></Name

4659 ><LabelAbove

4660 >True</LabelAbove

4661 ><Shape

4662 ><![CDATA[interface]]></Shape

4663 ><Info

4664 ><list-int/></Info></Node></Nodes

4665 ><Edges

4666 ><Edge id="E1"

4667 ><From

4668 >1</From

4669 ><PortFrom

4670 ><![CDATA[down]]></PortFrom

4671 ><To

4672 >2</To

4673 ><PortTo

4674 ><![CDATA[res]]></PortTo

4675 ><Via

4676 /><Info

4677 ><list-int/></Info></Edge

4678 ><Edge id="E2"

4679 ><From

4680 >1</From

4681 ><PortFrom

4682 ><![CDATA[copy2]]></PortFrom

4683 ><To

4684 >4</To

4685 ><PortTo

4686 ><![CDATA[interface]]></PortTo

4687 ><Via

4688 /><Info

4689 ><list-int/></Info></Edge

4690 ><Edge id="E3"

4691 ><From

4692 >1</From

4693 ><PortFrom

4694 ><![CDATA[copy1]]></PortFrom

4695 ><To

4696 >3</To

4697 ><PortTo

4698 ><![CDATA[interface]]></PortTo

4699 ><Via

4700 /><Info

4701 ><list-int/></Info></Edge

4702 ><Edge id="E4"

4703 ><From

4704 >2</From

4705 ><PortFrom

4706 ><![CDATA[var]]></PortFrom

4707 ><To

4708 >6</To

4709 ><PortTo

4710 ><![CDATA[interface]]></PortTo

4711 ><Via

4712 /><Info

4713 ><list-int/></Info></Edge

4714 ><Edge id="E5"

4715 ><From

4716 >2</From

4717 ><PortFrom

4718 ><![CDATA[body]]></PortFrom

4719 ><To

4720 >5</To

4721 ><PortTo

4722 ><![CDATA[interface]]></PortTo

4723 ><Via

4724 /><Info

4725 ><list-int/></Info></Edge></Edges></Network></LHS

4726 ><RHS

4727 ><Network Width="15.0" Height="9.0"

4728 ><Info

4729 ><unit/></Info

4730 ><Nodes

4731 ><Node id="N3"

4732 ><Position X="0.9233333333333333" Y="0.5264583333333334"

4733 /><Name

4734 ><![CDATA[Node 3]]></Name

4735 ><LabelAbove

4736 >True</LabelAbove

4737 ><Shape

4738 ><![CDATA[interface]]></Shape

4739 ><Info

4740 ><list-int/></Info></Node

4741 ><Node id="N4"

4742 ><Position X="2.92875" Y="0.5529166666666667"

4743 /><Name

4744 ><![CDATA[Node 4]]></Name

4745 ><LabelAbove

4746 >True</LabelAbove

4747 ><Shape

4748 ><![CDATA[interface]]></Shape

4749 ><Info

4750 ><list-int/></Info></Node

4751 ><Node id="N5"

4752 ><Position X="2.907708333333334" Y="5.579375"

4753 /><Name

4754 ><![CDATA[Node 5]]></Name

4755 ><LabelAbove

4756 >True</LabelAbove

4757 ><Shape

4758 ><![CDATA[interface]]></Shape

4759 ><Info

4760 ><list-int/></Info></Node

4761 ><Node id="N6"

4762 ><Position X="0.9179166666666665" Y="5.579375"

4763 /><Name

4764 ><![CDATA[Node 6]]></Name

4765 ><LabelAbove

4766 >True</LabelAbove

4767 ><Shape

4768 ><![CDATA[interface]]></Shape

4769 ><Info

4770 ><list-int/></Info></Node

4771 ><Node id="N7"

4772 ><Position X="0.9260416666666668" Y="4.153958333333334"

4773 /><Name

4774 ><![CDATA[Node 7]]></Name

4775 ><LabelAbove

4776 >True</LabelAbove

4777 ><Shape

4778 ><![CDATA[duplicator]]></Shape

4779 ><Info

4780 ><list-int/></Info></Node

4781 ><Node id="N8"

4782 ><Position X="2.9104166666666673" Y="4.153958333333334"

4783 /><Name

4784 ><![CDATA[Node 8]]></Name

4785 ><LabelAbove

4786 >True</LabelAbove

4787 ><Shape

4788 ><![CDATA[duplicator]]></Shape

4789 ><Info

4790 ><list-int/></Info></Node

4791 ><Node id="N9"

4792 ><Position X="0.9260416666666667" Y="1.8785416666666668"

4793 /><Name

4794 ><![CDATA[Node 9]]></Name

4795 ><LabelAbove

4796 >True</LabelAbove

4797 ><Shape

4798 ><![CDATA[lambda]]></Shape

4799 ><Info

4800 ><list-int/></Info></Node

4801 ><Node id="N10"

4802 ><Position X="2.910416666666667" Y="1.905"

4803 /><Name

4804 ><![CDATA[Node 10]]></Name

4805 ><LabelAbove

4806 >True</LabelAbove

4807 ><Shape

4808 ><![CDATA[lambda]]></Shape

4809 ><Info

4810 ><list-int/></Info></Node></Nodes

4811 ><Edges

4812 ><Edge id="E1"

4813 ><From

4814 >7</From

4815 ><PortFrom

4816 ><![CDATA[down]]></PortFrom

4817 ><To

4818 >6</To

4819 ><PortTo

4820 ><![CDATA[interface]]></PortTo

4821 ><Via

4822 /><Info

4823 ><list-int/></Info></Edge

4824 ><Edge id="E2"

4825 ><From

4826 >8</From

4827 ><PortFrom

4828 ><![CDATA[down]]></PortFrom

4829 ><To

4830 >5</To

4831 ><PortTo

4832 ><![CDATA[interface]]></PortTo

4833 ><Via

4834 /><Info

4835 ><list-int/></Info></Edge

4836 ><Edge id="E3"

4837 ><From

4838 >3</From

4839 ><PortFrom

4840 ><![CDATA[interface]]></PortFrom

4841 ><To

4842 >9</To

4843 ><PortTo

4844 ><![CDATA[res]]></PortTo

4845 ><Via

4846 /><Info

4847 ><list-int/></Info></Edge

4848 ><Edge id="E4"

4849 ><From

4850 >4</From

4851 ><PortFrom

4852 ><![CDATA[interface]]></PortFrom

4853 ><To

4854 >10</To

4855 ><PortTo

4856 ><![CDATA[res]]></PortTo

4857 ><Via

4858 /><Info

4859 ><list-int/></Info></Edge

4860 ><Edge id="E5"

4861 ><From

4862 >7</From

4863 ><PortFrom

4864 ><![CDATA[copy1]]></PortFrom

4865 ><To

4866 >9</To

4867 ><PortTo

4868 ><![CDATA[var]]></PortTo

4869 ><Via

4870 /><Info

4871 ><list-int/></Info></Edge

4872 ><Edge id="E6"

4873 ><From

4874 >9</From

4875 ><PortFrom

4876 ><![CDATA[body]]></PortFrom

4877 ><To

4878 >8</To

4879 ><PortTo

4880 ><![CDATA[copy1]]></PortTo

4881 ><Via

4882 /><Info

4883 ><list-int/></Info></Edge

4884 ><Edge id="E7"

4885 ><From

4886 >10</From

4887 ><PortFrom

4888 ><![CDATA[var]]></PortFrom

4889 ><To

4890 >7</To

4891 ><PortTo

4892 ><![CDATA[copy2]]></PortTo

4893 ><Via

4894 /><Info

4895 ><list-int/></Info></Edge

4896 ><Edge id="E8"

4897 ><From

4898 >10</From

4899 ><PortFrom

4900 ><![CDATA[body]]></PortFrom

4901 ><To

4902 >8</To

4903 ><PortTo

4904 ><![CDATA[copy2]]></PortTo

4905 ><Via

4906 /><Info

4907 ><list-int/></Info></Edge></Edges></Network></RHS

4908 ><Mapping

4909 ><MappingElement lhs="3" rhs="3"

4910 /><MappingElement lhs="4" rhs="4"

4911 /><MappingElement lhs="5" rhs="5"

4912 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

4913 ><INRule

4914 ><Name

4915 ><![CDATA[Duplicator_Application]]></Name

4916 ><LHS

4917 ><Network Width="15.0" Height="9.0"

4918 ><Info

4919 ><unit/></Info

4920 ><Nodes

4921 ><Node id="N1"

4922 ><Position X="2.0" Y="2.0"

4923 /><Name

4924 ><![CDATA[Node 1]]></Name

4925 ><LabelAbove

4926 >True</LabelAbove

4927 ><Shape

4928 ><![CDATA[duplicator]]></Shape

4929 ><Info

4930 ><list-int/></Info></Node

4931 ><Node id="N2"

4932 ><Position X="3.576666666666666" Y="3.444375"

4933 /><Name

4934 ><![CDATA[Node 2]]></Name

4935 ><LabelAbove

4936 >True</LabelAbove

4937 ><Shape

4938 ><![CDATA[application]]></Shape

4939 ><Info

4940 ><list-int/></Info></Node

4941 ><Node id="N3"

4942 ><Position X="1.3466666666666667" Y="0.47354166666666664"

4943 /><Name

4944 ><![CDATA[Node 3]]></Name

4945 ><LabelAbove

4946 >True</LabelAbove

4947 ><Shape

4948 ><![CDATA[interface]]></Shape

4949 ><Info

4950 ><list-int/></Info></Node

4951 ><Node id="N4"

4952 ><Position X="2.584791666666667" Y="0.5529166666666667"

4953 /><Name

4954 ><![CDATA[Node 4]]></Name

4955 ><LabelAbove

4956 >True</LabelAbove

4957 ><Shape

4958 ><![CDATA[interface]]></Shape

4959 ><Info

4960 ><list-int/></Info></Node

4961 ><Node id="N5"

4962 ><Position X="5.860208333333334" Y="2.8283333333333336"

4963 /><Name

4964 ><![CDATA[Node 5]]></Name

4965 ><LabelAbove

4966 >True</LabelAbove

4967 ><Shape

4968 ><![CDATA[interface]]></Shape

4969 ><Info

4970 ><list-int/></Info></Node

4971 ><Node id="N6"

4972 ><Position X="4.839166666666666" Y="5.288333333333334"

4973 /><Name

4974 ><![CDATA[Node 6]]></Name

4975 ><LabelAbove

4976 >True</LabelAbove

4977 ><Shape

4978 ><![CDATA[interface]]></Shape

4979 ><Info

4980 ><list-int/></Info></Node></Nodes

4981 ><Edges

4982 ><Edge id="E1"

4983 ><From

4984 >1</From

4985 ><PortFrom

4986 ><![CDATA[down]]></PortFrom

4987 ><To

4988 >2</To

4989 ><PortTo

4990 ><![CDATA[func]]></PortTo

4991 ><Via

4992 /><Info

4993 ><list-int/></Info></Edge

4994 ><Edge id="E2"

4995 ><From

4996 >1</From

4997 ><PortFrom

4998 ><![CDATA[copy2]]></PortFrom

4999 ><To

5000 >4</To

5001 ><PortTo

5002 ><![CDATA[interface]]></PortTo

5003 ><Via

5004 /><Info

5005 ><list-int/></Info></Edge

5006 ><Edge id="E3"

5007 ><From

5008 >1</From

5009 ><PortFrom

5010 ><![CDATA[copy1]]></PortFrom

5011 ><To

5012 >3</To

5013 ><PortTo

5014 ><![CDATA[interface]]></PortTo

5015 ><Via

5016 /><Info

5017 ><list-int/></Info></Edge

5018 ><Edge id="E4"

5019 ><From

5020 >2</From

5021 ><PortFrom

5022 ><![CDATA[arg]]></PortFrom

5023 ><To

5024 >6</To

5025 ><PortTo

5026 ><![CDATA[interface]]></PortTo

5027 ><Via

5028 /><Info

5029 ><list-int/></Info></Edge

5030 ><Edge id="E5"

5031 ><From

5032 >2</From

5033 ><PortFrom

5034 ><![CDATA[res]]></PortFrom

5035 ><To

5036 >5</To

5037 ><PortTo

5038 ><![CDATA[interface]]></PortTo

5039 ><Via

5040 /><Info

5041 ><list-int/></Info></Edge></Edges></Network></LHS

5042 ><RHS

5043 ><Network Width="15.0" Height="9.0"

5044 ><Info

5045 ><unit/></Info

5046 ><Nodes

5047 ><Node id="N3"

5048 ><Position X="1.3466666666666667" Y="0.47354166666666664"

5049 /><Name

5050 ><![CDATA[Node 3]]></Name

5051 ><LabelAbove

5052 >True</LabelAbove

5053 ><Shape

5054 ><![CDATA[interface]]></Shape

5055 ><Info

5056 ><list-int/></Info></Node

5057 ><Node id="N4"

5058 ><Position X="3.378541666666667" Y="0.44708333333333333"

5059 /><Name

5060 ><![CDATA[Node 4]]></Name

5061 ><LabelAbove

5062 >True</LabelAbove

5063 ><Shape

5064 ><![CDATA[interface]]></Shape

5065 ><Info

5066 ><list-int/></Info></Node

5067 ><Node id="N5"

5068 ><Position X="8.082708333333334" Y="4.495208333333334"

5069 /><Name

5070 ><![CDATA[Node 5]]></Name

5071 ><LabelAbove

5072 >True</LabelAbove

5073 ><Shape

5074 ><![CDATA[interface]]></Shape

5075 ><Info

5076 ><list-int/></Info></Node

5077 ><Node id="N6"

5078 ><Position X="3.039999999999999" Y="5.870416666666667"

5079 /><Name

5080 ><![CDATA[Node 6]]></Name

5081 ><LabelAbove

5082 >True</LabelAbove

5083 ><Shape

5084 ><![CDATA[interface]]></Shape

5085 ><Info

5086 ><list-int/></Info></Node

5087 ><Node id="N7"

5088 ><Position X="2.196041666666667" Y="2.037291666666667"

5089 /><Name

5090 ><![CDATA[Node 7]]></Name

5091 ><LabelAbove

5092 >True</LabelAbove

5093 ><Shape

5094 ><![CDATA[application]]></Shape

5095 ><Info

5096 ><list-int/></Info></Node

5097 ><Node id="N8"

5098 ><Position X="4.180416666666667" Y="2.0902083333333334"

5099 /><Name

5100 ><![CDATA[Node 8]]></Name

5101 ><LabelAbove

5102 >True</LabelAbove

5103 ><Shape

5104 ><![CDATA[application]]></Shape

5105 ><Info

5106 ><list-int/></Info></Node

5107 ><Node id="N9"

5108 ><Position X="3.0427083333333336" Y="4.101041666666667"

5109 /><Name

5110 ><![CDATA[Node 9]]></Name

5111 ><LabelAbove

5112 >True</LabelAbove

5113 ><Shape

5114 ><![CDATA[duplicator]]></Shape

5115 ><Info

5116 ><list-int/></Info></Node

5117 ><Node id="N10"

5118 ><Position X="8.096249999999998" Y="2.7781249999999997"

5119 /><Name

5120 ><![CDATA[Node 10]]></Name

5121 ><LabelAbove

5122 >True</LabelAbove

5123 ><Shape

5124 ><![CDATA[duplicator]]></Shape

5125 ><Info

5126 ><list-int/></Info></Node></Nodes

5127 ><Edges

5128 ><Edge id="E1"

5129 ><From

5130 >7</From

5131 ><PortFrom

5132 ><![CDATA[func]]></PortFrom

5133 ><To

5134 >3</To

5135 ><PortTo

5136 ><![CDATA[interface]]></PortTo

5137 ><Via

5138 ><Position X="1.3229166666666667" Y="2.3018750000000003"/></Via

5139 ><Info

5140 ><list-int/></Info></Edge

5141 ><Edge id="E2"

5142 ><From

5143 >4</From

5144 ><PortFrom

5145 ><![CDATA[interface]]></PortFrom

5146 ><To

5147 >8</To

5148 ><PortTo

5149 ><![CDATA[func]]></PortTo

5150 ><Via

5151 ><Position X="3.360208333333334" Y="2.38125"/></Via

5152 ><Info

5153 ><list-int/></Info></Edge

5154 ><Edge id="E3"

5155 ><From

5156 >10</From

5157 ><PortFrom

5158 ><![CDATA[down]]></PortFrom

5159 ><To

5160 >5</To

5161 ><PortTo

5162 ><![CDATA[interface]]></PortTo

5163 ><Via

5164 /><Info

5165 ><list-int/></Info></Edge

5166 ><Edge id="E4"

5167 ><From

5168 >9</From

5169 ><PortFrom

5170 ><![CDATA[down]]></PortFrom

5171 ><To

5172 >6</To

5173 ><PortTo

5174 ><![CDATA[interface]]></PortTo

5175 ><Via

5176 /><Info

5177 ><list-int/></Info></Edge

5178 ><Edge id="E5"

5179 ><From

5180 >10</From

5181 ><PortFrom

5182 ><![CDATA[copy1]]></PortFrom

5183 ><To

5184 >7</To

5185 ><PortTo

5186 ><![CDATA[res]]></PortTo

5187 ><Via

5188 ><Position X="7.7787500000000005" Y="1.2964583333333335"

5189 /><Position X="2.1695833333333336" Y="1.2964583333333335"/></Via

5190 ><Info

5191 ><list-int/></Info></Edge

5192 ><Edge id="E6"

5193 ><From

5194 >8</From

5195 ><PortFrom

5196 ><![CDATA[res]]></PortFrom

5197 ><To

5198 >10</To

5199 ><PortTo

5200 ><![CDATA[copy2]]></PortTo

5201 ><Via

5202 ><Position X="4.153958333333334" Y="0.6879166666666666"

5203 /><Position X="8.413749999999999" Y="0.6879166666666665"/></Via

5204 ><Info

5205 ><list-int/></Info></Edge

5206 ><Edge id="E7"

5207 ><From

5208 >9</From

5209 ><PortFrom

5210 ><![CDATA[copy1]]></PortFrom

5211 ><To

5212 >7</To

5213 ><PortTo

5214 ><![CDATA[arg]]></PortTo

5215 ><Via

5216 /><Info

5217 ><list-int/></Info></Edge

5218 ><Edge id="E8"

5219 ><From

5220 >8</From

5221 ><PortFrom

5222 ><![CDATA[arg]]></PortFrom

5223 ><To

5224 >9</To

5225 ><PortTo

5226 ><![CDATA[copy2]]></PortTo

5227 ><Via

5228 /><Info

5229 ><list-int/></Info></Edge></Edges></Network></RHS

5230 ><Mapping

5231 ><MappingElement lhs="3" rhs="3"

5232 /><MappingElement lhs="4" rhs="4"

5233 /><MappingElement lhs="5" rhs="5"

5234 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

5235 ><INRule

5236 ><Name

5237 ><![CDATA[Duplicator_Evaluator]]></Name

5238 ><LHS

5239 ><Network Width="15.0" Height="9.0"

5240 ><Info

5241 ><unit/></Info

5242 ><Nodes

5243 ><Node id="N1"

5244 ><Position X="2.0" Y="2.0"

5245 /><Name

5246 ><![CDATA[Node 1]]></Name

5247 ><LabelAbove

5248 >True</LabelAbove

5249 ><Shape

5250 ><![CDATA[duplicator]]></Shape

5251 ><Info

5252 ><list-int/></Info></Node

5253 ><Node id="N2"

5254 ><Position X="4.0" Y="2.0"

5255 /><Name

5256 ><![CDATA[Node 2]]></Name

5257 ><LabelAbove

5258 >True</LabelAbove

5259 ><Shape

5260 ><![CDATA[evaluation]]></Shape

5261 ><Info

5262 ><list-int/></Info></Node

5263 ><Node id="N3"

5264 ><Position X="1.5847916666666668" Y="0.5529166666666666"

5265 /><Name

5266 ><![CDATA[Node 3]]></Name

5267 ><LabelAbove

5268 >True</LabelAbove

5269 ><Shape

5270 ><![CDATA[interface]]></Shape

5271 ><Info

5272 ><list-int/></Info></Node

5273 ><Node id="N4"

5274 ><Position X="2.426041666666667" Y="0.5529166666666667"

5275 /><Name

5276 ><![CDATA[Node 4]]></Name

5277 ><LabelAbove

5278 >True</LabelAbove

5279 ><Shape

5280 ><![CDATA[interface]]></Shape

5281 ><Info

5282 ><list-int/></Info></Node

5283 ><Node id="N5"

5284 ><Position X="4.008125" Y="0.44708333333333333"

5285 /><Name

5286 ><![CDATA[Node 5]]></Name

5287 ><LabelAbove

5288 >True</LabelAbove

5289 ><Shape

5290 ><![CDATA[interface]]></Shape

5291 ><Info

5292 ><list-int/></Info></Node></Nodes

5293 ><Edges

5294 ><Edge id="E1"

5295 ><From

5296 >1</From

5297 ><PortFrom

5298 ><![CDATA[down]]></PortFrom

5299 ><To

5300 >2</To

5301 ><PortTo

5302 ><![CDATA[arg]]></PortTo

5303 ><Via

5304 /><Info

5305 ><list-int/></Info></Edge

5306 ><Edge id="E2"

5307 ><From

5308 >1</From

5309 ><PortFrom

5310 ><![CDATA[copy2]]></PortFrom

5311 ><To

5312 >4</To

5313 ><PortTo

5314 ><![CDATA[interface]]></PortTo

5315 ><Via

5316 /><Info

5317 ><list-int/></Info></Edge

5318 ><Edge id="E3"

5319 ><From

5320 >1</From

5321 ><PortFrom

5322 ><![CDATA[copy1]]></PortFrom

5323 ><To

5324 >3</To

5325 ><PortTo

5326 ><![CDATA[interface]]></PortTo

5327 ><Via

5328 /><Info

5329 ><list-int/></Info></Edge

5330 ><Edge id="E4"

5331 ><From

5332 >2</From

5333 ><PortFrom

5334 ><![CDATA[res]]></PortFrom

5335 ><To

5336 >5</To

5337 ><PortTo

5338 ><![CDATA[interface]]></PortTo

5339 ><Via

5340 /><Info

5341 ><list-int/></Info></Edge></Edges></Network></LHS

5342 ><RHS

5343 ><Network Width="15.0" Height="9.0"

5344 ><Info

5345 ><unit/></Info

5346 ><Nodes

5347 ><Node id="N3"

5348 ><Position X="1.5847916666666668" Y="0.5529166666666666"

5349 /><Name

5350 ><![CDATA[Node 3]]></Name

5351 ><LabelAbove

5352 >True</LabelAbove

5353 ><Shape

5354 ><![CDATA[interface]]></Shape

5355 ><Info

5356 ><list-int/></Info></Node

5357 ><Node id="N4"

5358 ><Position X="5.257083333333336" Y="0.5793750000000001"

5359 /><Name

5360 ><![CDATA[Node 4]]></Name

5361 ><LabelAbove

5362 >True</LabelAbove

5363 ><Shape

5364 ><![CDATA[interface]]></Shape

5365 ><Info

5366 ><list-int/></Info></Node

5367 ><Node id="N5"

5368 ><Position X="3.2672916666666674" Y="5.7387500000000005"

5369 /><Name

5370 ><![CDATA[Node 5]]></Name

5371 ><LabelAbove

5372 >True</LabelAbove

5373 ><Shape

5374 ><![CDATA[interface]]></Shape

5375 ><Info

5376 ><list-int/></Info></Node

5377 ><Node id="N6"

5378 ><Position X="2.3283333333333336" Y="1.878541666666667"

5379 /><Name

5380 ><![CDATA[Node 6]]></Name

5381 ><LabelAbove

5382 >True</LabelAbove

5383 ><Shape

5384 ><![CDATA[evaluation]]></Shape

5385 ><Info

5386 ><list-int/></Info></Node

5387 ><Node id="N7"

5388 ><Position X="4.471458333333333" Y="1.878541666666667"

5389 /><Name

5390 ><![CDATA[Node 7]]></Name

5391 ><LabelAbove

5392 >True</LabelAbove

5393 ><Shape

5394 ><![CDATA[evaluation]]></Shape

5395 ><Info

5396 ><list-int/></Info></Node

5397 ><Node id="N8"

5398 ><Position X="3.2808333333333337" Y="4.048125000000001"

5399 /><Name

5400 ><![CDATA[Node 8]]></Name

5401 ><LabelAbove

5402 >True</LabelAbove

5403 ><Shape

5404 ><![CDATA[duplicator]]></Shape

5405 ><Info

5406 ><list-int/></Info></Node></Nodes

5407 ><Edges

5408 ><Edge id="E1"

5409 ><From

5410 >6</From

5411 ><PortFrom

5412 ><![CDATA[arg]]></PortFrom

5413 ><To

5414 >3</To

5415 ><PortTo

5416 ><![CDATA[interface]]></PortTo

5417 ><Via

5418 ><Position X="1.5610416666666669" Y="2.3547916666666673"/></Via

5419 ><Info

5420 ><list-int/></Info></Edge

5421 ><Edge id="E2"

5422 ><From

5423 >4</From

5424 ><PortFrom

5425 ><![CDATA[interface]]></PortFrom

5426 ><To

5427 >7</To

5428 ><PortTo

5429 ><![CDATA[arg]]></PortTo

5430 ><Via

5431 ><Position X="5.238750000000001" Y="2.354791666666667"/></Via

5432 ><Info

5433 ><list-int/></Info></Edge

5434 ><Edge id="E3"

5435 ><From

5436 >5</From

5437 ><PortFrom

5438 ><![CDATA[interface]]></PortFrom

5439 ><To

5440 >8</To

5441 ><PortTo

5442 ><![CDATA[down]]></PortTo

5443 ><Via

5444 /><Info

5445 ><list-int/></Info></Edge

5446 ><Edge id="E4"

5447 ><From

5448 >8</From

5449 ><PortFrom

5450 ><![CDATA[copy1]]></PortFrom

5451 ><To

5452 >6</To

5453 ><PortTo

5454 ><![CDATA[res]]></PortTo

5455 ><Via

5456 ><Position X="2.9633333333333334" Y="1.3758333333333337"/></Via

5457 ><Info

5458 ><list-int/></Info></Edge

5459 ><Edge id="E5"

5460 ><From

5461 >7</From

5462 ><PortFrom

5463 ><![CDATA[res]]></PortFrom

5464 ><To

5465 >8</To

5466 ><PortTo

5467 ><![CDATA[copy2]]></PortTo

5468 ><Via

5469 ><Position X="3.5718750000000004" Y="1.3758333333333337"/></Via

5470 ><Info

5471 ><list-int/></Info></Edge></Edges></Network></RHS

5472 ><Mapping

5473 ><MappingElement lhs="3" rhs="3"

5474 /><MappingElement lhs="4" rhs="4"

5475 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

5476 ><INRule

5477 ><Name

5478 ><![CDATA[Duplicator_EvaluatorReturning]]></Name

5479 ><LHS

5480 ><Network Width="15.0" Height="9.0"

5481 ><Info

5482 ><unit/></Info

5483 ><Nodes

5484 ><Node id="N1"

5485 ><Position X="2.0" Y="2.0"

5486 /><Name

5487 ><![CDATA[Node 1]]></Name

5488 ><LabelAbove

5489 >True</LabelAbove

5490 ><Shape

5491 ><![CDATA[duplicator]]></Shape

5492 ><Info

5493 ><list-int/></Info></Node

5494 ><Node id="N2"

5495 ><Position X="2.0" Y="4.0"

5496 /><Name

5497 ><![CDATA[Node 2]]></Name

5498 ><LabelAbove

5499 >True</LabelAbove

5500 ><Shape

5501 ><![CDATA[evalReturn]]></Shape

5502 ><Info

5503 ><list-int/></Info></Node

5504 ><Node id="N3"

5505 ><Position X="1.1349999999999998" Y="0.44708333333333333"

5506 /><Name

5507 ><![CDATA[Node 3]]></Name

5508 ><LabelAbove

5509 >True</LabelAbove

5510 ><Shape

5511 ><![CDATA[interface]]></Shape

5512 ><Info

5513 ><list-int/></Info></Node

5514 ><Node id="N4"

5515 ><Position X="3.0081249999999997" Y="0.5529166666666667"

5516 /><Name

5517 ><![CDATA[Node 4]]></Name

5518 ><LabelAbove

5519 >True</LabelAbove

5520 ><Shape

5521 ><![CDATA[interface]]></Shape

5522 ><Info

5523 ><list-int/></Info></Node

5524 ><Node id="N5"

5525 ><Position X="2.008125" Y="5.5529166666666665"

5526 /><Name

5527 ><![CDATA[Node 5]]></Name

5528 ><LabelAbove

5529 >True</LabelAbove

5530 ><Shape

5531 ><![CDATA[interface]]></Shape

5532 ><Info

5533 ><list-int/></Info></Node></Nodes

5534 ><Edges

5535 ><Edge id="E1"

5536 ><From

5537 >1</From

5538 ><PortFrom

5539 ><![CDATA[down]]></PortFrom

5540 ><To

5541 >2</To

5542 ><PortTo

5543 ><![CDATA[res]]></PortTo

5544 ><Via

5545 /><Info

5546 ><list-int/></Info></Edge

5547 ><Edge id="E2"

5548 ><From

5549 >1</From

5550 ><PortFrom

5551 ><![CDATA[copy2]]></PortFrom

5552 ><To

5553 >4</To

5554 ><PortTo

5555 ><![CDATA[interface]]></PortTo

5556 ><Via

5557 /><Info

5558 ><list-int/></Info></Edge

5559 ><Edge id="E3"

5560 ><From

5561 >1</From

5562 ><PortFrom

5563 ><![CDATA[copy1]]></PortFrom

5564 ><To

5565 >3</To

5566 ><PortTo

5567 ><![CDATA[interface]]></PortTo

5568 ><Via

5569 /><Info

5570 ><list-int/></Info></Edge

5571 ><Edge id="E4"

5572 ><From

5573 >2</From

5574 ><PortFrom

5575 ><![CDATA[arg]]></PortFrom

5576 ><To

5577 >5</To

5578 ><PortTo

5579 ><![CDATA[interface]]></PortTo

5580 ><Via

5581 /><Info

5582 ><list-int/></Info></Edge></Edges></Network></LHS

5583 ><RHS

5584 ><Network Width="15.0" Height="9.0"

5585 ><Info

5586 ><unit/></Info

5587 ><Nodes

5588 ><Node id="N3"

5589 ><Position X="1.1349999999999998" Y="0.44708333333333333"

5590 /><Name

5591 ><![CDATA[Node 3]]></Name

5592 ><LabelAbove

5593 >True</LabelAbove

5594 ><Shape

5595 ><![CDATA[interface]]></Shape

5596 ><Info

5597 ><list-int/></Info></Node

5598 ><Node id="N4"

5599 ><Position X="3.0081249999999997" Y="0.5529166666666667"

5600 /><Name

5601 ><![CDATA[Node 4]]></Name

5602 ><LabelAbove

5603 >True</LabelAbove

5604 ><Shape

5605 ><![CDATA[interface]]></Shape

5606 ><Info

5607 ><list-int/></Info></Node

5608 ><Node id="N5"

5609 ><Position X="2.008125" Y="5.5529166666666665"

5610 /><Name

5611 ><![CDATA[Node 5]]></Name

5612 ><LabelAbove

5613 >True</LabelAbove

5614 ><Shape

5615 ><![CDATA[interface]]></Shape

5616 ><Info

5617 ><list-int/></Info></Node

5618 ><Node id="N6"

5619 ><Position X="1.1377083333333333" Y="2.0108333333333333"

5620 /><Name

5621 ><![CDATA[Node 6]]></Name

5622 ><LabelAbove

5623 >True</LabelAbove

5624 ><Shape

5625 ><![CDATA[evalReturn]]></Shape

5626 ><Info

5627 ><list-int/></Info></Node

5628 ><Node id="N7"

5629 ><Position X="2.9897916666666666" Y="1.9843750000000004"

5630 /><Name

5631 ><![CDATA[Node 7]]></Name

5632 ><LabelAbove

5633 >True</LabelAbove

5634 ><Shape

5635 ><![CDATA[evalReturn]]></Shape

5636 ><Info

5637 ><list-int/></Info></Node

5638 ><Node id="N8"

5639 ><Position X="1.984375" Y="4.074583333333334"

5640 /><Name

5641 ><![CDATA[Node 8]]></Name

5642 ><LabelAbove

5643 >True</LabelAbove

5644 ><Shape

5645 ><![CDATA[duplicator]]></Shape

5646 ><Info

5647 ><list-int/></Info></Node></Nodes

5648 ><Edges

5649 ><Edge id="E1"

5650 ><From

5651 >6</From

5652 ><PortFrom

5653 ><![CDATA[res]]></PortFrom

5654 ><To

5655 >3</To

5656 ><PortTo

5657 ><![CDATA[interface]]></PortTo

5658 ><Via

5659 /><Info

5660 ><list-int/></Info></Edge

5661 ><Edge id="E2"

5662 ><From

5663 >4</From

5664 ><PortFrom

5665 ><![CDATA[interface]]></PortFrom

5666 ><To

5667 >7</To

5668 ><PortTo

5669 ><![CDATA[res]]></PortTo

5670 ><Via

5671 /><Info

5672 ><list-int/></Info></Edge

5673 ><Edge id="E3"

5674 ><From

5675 >8</From

5676 ><PortFrom

5677 ><![CDATA[down]]></PortFrom

5678 ><To

5679 >5</To

5680 ><PortTo

5681 ><![CDATA[interface]]></PortTo

5682 ><Via

5683 /><Info

5684 ><list-int/></Info></Edge

5685 ><Edge id="E4"

5686 ><From

5687 >8</From

5688 ><PortFrom

5689 ><![CDATA[copy1]]></PortFrom

5690 ><To

5691 >6</To

5692 ><PortTo

5693 ><![CDATA[arg]]></PortTo

5694 ><Via

5695 /><Info

5696 ><list-int/></Info></Edge

5697 ><Edge id="E5"

5698 ><From

5699 >7</From

5700 ><PortFrom

5701 ><![CDATA[arg]]></PortFrom

5702 ><To

5703 >8</To

5704 ><PortTo

5705 ><![CDATA[copy2]]></PortTo

5706 ><Via

5707 /><Info

5708 ><list-int/></Info></Edge></Edges></Network></RHS

5709 ><Mapping

5710 ><MappingElement lhs="3" rhs="3"

5711 /><MappingElement lhs="4" rhs="4"

5712 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

5713 ><INRule

5714 ><Name

5715 ><![CDATA[Duplicator_preApplication]]></Name

5716 ><LHS

5717 ><Network Width="15.0" Height="9.0"

5718 ><Info

5719 ><unit/></Info

5720 ><Nodes

5721 ><Node id="N1"

5722 ><Position X="2.0" Y="2.0"

5723 /><Name

5724 ><![CDATA[Node 1]]></Name

5725 ><LabelAbove

5726 >True</LabelAbove

5727 ><Shape

5728 ><![CDATA[duplicator]]></Shape

5729 ><Info

5730 ><list-int/></Info></Node

5731 ><Node id="N2"

5732 ><Position X="2.0" Y="4.0"

5733 /><Name

5734 ><![CDATA[Node 2]]></Name

5735 ><LabelAbove

5736 >True</LabelAbove

5737 ><Shape

5738 ><![CDATA[beforeApplication]]></Shape

5739 ><Info

5740 ><list-int/></Info></Node

5741 ><Node id="N3"

5742 ><Position X="1.29375" Y="0.5264583333333333"

5743 /><Name

5744 ><![CDATA[Node 3]]></Name

5745 ><LabelAbove

5746 >True</LabelAbove

5747 ><Shape

5748 ><![CDATA[interface]]></Shape

5749 ><Info

5750 ><list-int/></Info></Node

5751 ><Node id="N4"

5752 ><Position X="2.955208333333333" Y="0.6058333333333334"

5753 /><Name

5754 ><![CDATA[Node 4]]></Name

5755 ><LabelAbove

5756 >True</LabelAbove

5757 ><Shape

5758 ><![CDATA[interface]]></Shape

5759 ><Info

5760 ><list-int/></Info></Node

5761 ><Node id="N5"

5762 ><Position X="2.8018750000000003" Y="5.5"

5763 /><Name

5764 ><![CDATA[Node 5]]></Name

5765 ><LabelAbove

5766 >True</LabelAbove

5767 ><Shape

5768 ><![CDATA[interface]]></Shape

5769 ><Info

5770 ><list-int/></Info></Node

5771 ><Node id="N6"

5772 ><Position X="1.2354166666666666" Y="5.5"

5773 /><Name

5774 ><![CDATA[Node 6]]></Name

5775 ><LabelAbove

5776 >True</LabelAbove

5777 ><Shape

5778 ><![CDATA[interface]]></Shape

5779 ><Info

5780 ><list-int/></Info></Node></Nodes

5781 ><Edges

5782 ><Edge id="E1"

5783 ><From

5784 >1</From

5785 ><PortFrom

5786 ><![CDATA[down]]></PortFrom

5787 ><To

5788 >2</To

5789 ><PortTo

5790 ><![CDATA[res]]></PortTo

5791 ><Via

5792 /><Info

5793 ><list-int/></Info></Edge

5794 ><Edge id="E2"

5795 ><From

5796 >1</From

5797 ><PortFrom

5798 ><![CDATA[copy2]]></PortFrom

5799 ><To

5800 >4</To

5801 ><PortTo

5802 ><![CDATA[interface]]></PortTo

5803 ><Via

5804 /><Info

5805 ><list-int/></Info></Edge

5806 ><Edge id="E3"

5807 ><From

5808 >1</From

5809 ><PortFrom

5810 ><![CDATA[copy1]]></PortFrom

5811 ><To

5812 >3</To

5813 ><PortTo

5814 ><![CDATA[interface]]></PortTo

5815 ><Via

5816 /><Info

5817 ><list-int/></Info></Edge

5818 ><Edge id="E4"

5819 ><From

5820 >2</From

5821 ><PortFrom

5822 ><![CDATA[func]]></PortFrom

5823 ><To

5824 >6</To

5825 ><PortTo

5826 ><![CDATA[interface]]></PortTo

5827 ><Via

5828 /><Info

5829 ><list-int/></Info></Edge

5830 ><Edge id="E5"

5831 ><From

5832 >2</From

5833 ><PortFrom

5834 ><![CDATA[arg]]></PortFrom

5835 ><To

5836 >5</To

5837 ><PortTo

5838 ><![CDATA[interface]]></PortTo

5839 ><Via

5840 /><Info

5841 ><list-int/></Info></Edge></Edges></Network></LHS

5842 ><RHS

5843 ><Network Width="15.0" Height="9.0"

5844 ><Info

5845 ><unit/></Info

5846 ><Nodes

5847 ><Node id="N3"

5848 ><Position X="1.29375" Y="0.5264583333333333"

5849 /><Name

5850 ><![CDATA[Node 3]]></Name

5851 ><LabelAbove

5852 >True</LabelAbove

5853 ><Shape

5854 ><![CDATA[interface]]></Shape

5855 ><Info

5856 ><list-int/></Info></Node

5857 ><Node id="N4"

5858 ><Position X="2.955208333333333" Y="0.6322916666666668"

5859 /><Name

5860 ><![CDATA[Node 4]]></Name

5861 ><LabelAbove

5862 >True</LabelAbove

5863 ><Shape

5864 ><![CDATA[interface]]></Shape

5865 ><Info

5866 ><list-int/></Info></Node

5867 ><Node id="N5"

5868 ><Position X="2.934166666666667" Y="5.526458333333333"

5869 /><Name

5870 ><![CDATA[Node 5]]></Name

5871 ><LabelAbove

5872 >True</LabelAbove

5873 ><Shape

5874 ><![CDATA[interface]]></Shape

5875 ><Info

5876 ><list-int/></Info></Node

5877 ><Node id="N6"

5878 ><Position X="1.2883333333333333" Y="5.5"

5879 /><Name

5880 ><![CDATA[Node 6]]></Name

5881 ><LabelAbove

5882 >True</LabelAbove

5883 ><Shape

5884 ><![CDATA[interface]]></Shape

5885 ><Info

5886 ><list-int/></Info></Node

5887 ><Node id="N7"

5888 ><Position X="1.2964583333333337" Y="4.1275"

5889 /><Name

5890 ><![CDATA[Node 7]]></Name

5891 ><LabelAbove

5892 >True</LabelAbove

5893 ><Shape

5894 ><![CDATA[duplicator]]></Shape

5895 ><Info

5896 ><list-int/></Info></Node

5897 ><Node id="N8"

5898 ><Position X="2.936875" Y="4.1275"

5899 /><Name

5900 ><![CDATA[Node 8]]></Name

5901 ><LabelAbove

5902 >True</LabelAbove

5903 ><Shape

5904 ><![CDATA[duplicator]]></Shape

5905 ><Info

5906 ><list-int/></Info></Node

5907 ><Node id="N9"

5908 ><Position X="1.2964583333333335" Y="1.8520833333333333"

5909 /><Name

5910 ><![CDATA[Node 9]]></Name

5911 ><LabelAbove

5912 >True</LabelAbove

5913 ><Shape

5914 ><![CDATA[beforeApplication]]></Shape

5915 ><Info

5916 ><list-int/></Info></Node

5917 ><Node id="N10"

5918 ><Position X="2.9368750000000006" Y="1.7991666666666668"

5919 /><Name

5920 ><![CDATA[Node 10]]></Name

5921 ><LabelAbove

5922 >True</LabelAbove

5923 ><Shape

5924 ><![CDATA[beforeApplication]]></Shape

5925 ><Info

5926 ><list-int/></Info></Node></Nodes

5927 ><Edges

5928 ><Edge id="E1"

5929 ><From

5930 >7</From

5931 ><PortFrom

5932 ><![CDATA[down]]></PortFrom

5933 ><To

5934 >6</To

5935 ><PortTo

5936 ><![CDATA[interface]]></PortTo

5937 ><Via

5938 /><Info

5939 ><list-int/></Info></Edge

5940 ><Edge id="E2"

5941 ><From

5942 >8</From

5943 ><PortFrom

5944 ><![CDATA[down]]></PortFrom

5945 ><To

5946 >5</To

5947 ><PortTo

5948 ><![CDATA[interface]]></PortTo

5949 ><Via

5950 /><Info

5951 ><list-int/></Info></Edge

5952 ><Edge id="E3"

5953 ><From

5954 >3</From

5955 ><PortFrom

5956 ><![CDATA[interface]]></PortFrom

5957 ><To

5958 >9</To

5959 ><PortTo

5960 ><![CDATA[res]]></PortTo

5961 ><Via

5962 /><Info

5963 ><list-int/></Info></Edge

5964 ><Edge id="E4"

5965 ><From

5966 >4</From

5967 ><PortFrom

5968 ><![CDATA[interface]]></PortFrom

5969 ><To

5970 >10</To

5971 ><PortTo

5972 ><![CDATA[res]]></PortTo

5973 ><Via

5974 /><Info

5975 ><list-int/></Info></Edge

5976 ><Edge id="E5"

5977 ><From

5978 >9</From

5979 ><PortFrom

5980 ><![CDATA[func]]></PortFrom

5981 ><To

5982 >7</To

5983 ><PortTo

5984 ><![CDATA[copy1]]></PortTo

5985 ><Via

5986 /><Info

5987 ><list-int/></Info></Edge

5988 ><Edge id="E6"

5989 ><From

5990 >10</From

5991 ><PortFrom

5992 ><![CDATA[func]]></PortFrom

5993 ><To

5994 >7</To

5995 ><PortTo

5996 ><![CDATA[copy2]]></PortTo

5997 ><Via

5998 /><Info

5999 ><list-int/></Info></Edge

6000 ><Edge id="E7"

6001 ><From

6002 >9</From

6003 ><PortFrom

6004 ><![CDATA[arg]]></PortFrom

6005 ><To

6006 >8</To

6007 ><PortTo

6008 ><![CDATA[copy1]]></PortTo

6009 ><Via

6010 /><Info

6011 ><list-int/></Info></Edge

6012 ><Edge id="E8"

6013 ><From

6014 >10</From

6015 ><PortFrom

6016 ><![CDATA[arg]]></PortFrom

6017 ><To

6018 >8</To

6019 ><PortTo

6020 ><![CDATA[copy2]]></PortTo

6021 ><Via

6022 /><Info

6023 ><list-int/></Info></Edge></Edges></Network></RHS

6024 ><Mapping

6025 ><MappingElement lhs="3" rhs="3"

6026 /><MappingElement lhs="4" rhs="4"

6027 /><MappingElement lhs="5" rhs="5"

6028 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

6029 ><INRule

6030 ><Name

6031 ><![CDATA[Evaluator_Variable]]></Name

6032 ><LHS

6033 ><Network Width="15.0" Height="9.0"

6034 ><Info

6035 ><unit/></Info

6036 ><Nodes

6037 ><Node id="N1"

6038 ><Position X="2.0" Y="2.0"

6039 /><Name

6040 ><![CDATA[Node 1]]></Name

6041 ><LabelAbove

6042 >True</LabelAbove

6043 ><Shape

6044 ><![CDATA[evaluation]]></Shape

6045 ><Info

6046 ><list-int/></Info></Node

6047 ><Node id="N2"

6048 ><Position X="2.0" Y="4.0"

6049 /><Name

6050 ><![CDATA[Node 2]]></Name

6051 ><LabelAbove

6052 >True</LabelAbove

6053 ><Shape

6054 ><![CDATA[variable]]></Shape

6055 ><Info

6056 ><list-int/></Info></Node

6057 ><Node id="N3"

6058 ><Position X="2.008125" Y="0.47354166666666664"

6059 /><Name

6060 ><![CDATA[Node 3]]></Name

6061 ><LabelAbove

6062 >True</LabelAbove

6063 ><Shape

6064 ><![CDATA[interface]]></Shape

6065 ><Info

6066 ><list-int/></Info></Node

6067 ><Node id="N4"

6068 ><Position X="2.0081250000000006" Y="5.288333333333333"

6069 /><Name

6070 ><![CDATA[Node 4]]></Name

6071 ><LabelAbove

6072 >True</LabelAbove

6073 ><Shape

6074 ><![CDATA[interface]]></Shape

6075 ><Info

6076 ><list-int/></Info></Node></Nodes

6077 ><Edges

6078 ><Edge id="E1"

6079 ><From

6080 >1</From

6081 ><PortFrom

6082 ><![CDATA[arg]]></PortFrom

6083 ><To

6084 >2</To

6085 ><PortTo

6086 ><![CDATA[res]]></PortTo

6087 ><Via

6088 /><Info

6089 ><list-int/></Info></Edge

6090 ><Edge id="E2"

6091 ><From

6092 >1</From

6093 ><PortFrom

6094 ><![CDATA[res]]></PortFrom

6095 ><To

6096 >3</To

6097 ><PortTo

6098 ><![CDATA[interface]]></PortTo

6099 ><Via

6100 /><Info

6101 ><list-int/></Info></Edge

6102 ><Edge id="E3"

6103 ><From

6104 >2</From

6105 ><PortFrom

6106 ><![CDATA[var]]></PortFrom

6107 ><To

6108 >4</To

6109 ><PortTo

6110 ><![CDATA[interface]]></PortTo

6111 ><Via

6112 /><Info

6113 ><list-int/></Info></Edge></Edges></Network></LHS

6114 ><RHS

6115 ><Network Width="15.0" Height="9.0"

6116 ><Info

6117 ><unit/></Info

6118 ><Nodes

6119 ><Node id="N3"

6120 ><Position X="2.034583333333334" Y="0.47354166666666664"

6121 /><Name

6122 ><![CDATA[Node 3]]></Name

6123 ><LabelAbove

6124 >True</LabelAbove

6125 ><Shape

6126 ><![CDATA[interface]]></Shape

6127 ><Info

6128 ><list-int/></Info></Node

6129 ><Node id="N4"

6130 ><Position X="2.0081250000000006" Y="5.288333333333333"

6131 /><Name

6132 ><![CDATA[Node 4]]></Name

6133 ><LabelAbove

6134 >True</LabelAbove

6135 ><Shape

6136 ><![CDATA[interface]]></Shape

6137 ><Info

6138 ><list-int/></Info></Node

6139 ><Node id="N5"

6140 ><Position X="2.037291666666667" Y="1.9843750000000002"

6141 /><Name

6142 ><![CDATA[Node 5]]></Name

6143 ><LabelAbove

6144 >True</LabelAbove

6145 ><Shape

6146 ><![CDATA[evalReturn0]]></Shape

6147 ><Info

6148 ><list-int/></Info></Node

6149 ><Node id="N6"

6150 ><Position X="2.0108333333333337" Y="3.9158333333333335"

6151 /><Name

6152 ><![CDATA[Node 6]]></Name

6153 ><LabelAbove

6154 >True</LabelAbove

6155 ><Shape

6156 ><![CDATA[variable]]></Shape

6157 ><Info

6158 ><list-int/></Info></Node></Nodes

6159 ><Edges

6160 ><Edge id="E1"

6161 ><From

6162 >5</From

6163 ><PortFrom

6164 ><![CDATA[res]]></PortFrom

6165 ><To

6166 >3</To

6167 ><PortTo

6168 ><![CDATA[interface]]></PortTo

6169 ><Via

6170 /><Info

6171 ><list-int/></Info></Edge

6172 ><Edge id="E2"

6173 ><From

6174 >5</From

6175 ><PortFrom

6176 ><![CDATA[arg]]></PortFrom

6177 ><To

6178 >6</To

6179 ><PortTo

6180 ><![CDATA[res]]></PortTo

6181 ><Via

6182 /><Info

6183 ><list-int/></Info></Edge

6184 ><Edge id="E3"

6185 ><From

6186 >6</From

6187 ><PortFrom

6188 ><![CDATA[var]]></PortFrom

6189 ><To

6190 >4</To

6191 ><PortTo

6192 ><![CDATA[interface]]></PortTo

6193 ><Via

6194 /><Info

6195 ><list-int/></Info></Edge></Edges></Network></RHS

6196 ><Mapping

6197 ><MappingElement lhs="3" rhs="3"

6198 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

6199 ><INRule

6200 ><Name

6201 ><![CDATA[Application_EvaluatorReturning0]]></Name

6202 ><LHS

6203 ><Network Width="15.0" Height="9.0"

6204 ><Info

6205 ><unit/></Info

6206 ><Nodes

6207 ><Node id="N1"

6208 ><Position X="2.306666666666666" Y="1.8147916666666668"

6209 /><Name

6210 ><![CDATA[Node 1]]></Name

6211 ><LabelAbove

6212 >True</LabelAbove

6213 ><Shape

6214 ><![CDATA[application]]></Shape

6215 ><Info

6216 ><list-int/></Info></Node

6217 ><Node id="N2"

6218 ><Position X="2.0" Y="4.0"

6219 /><Name

6220 ><![CDATA[Node 2]]></Name

6221 ><LabelAbove

6222 >True</LabelAbove

6223 ><Shape

6224 ><![CDATA[evalReturn0]]></Shape

6225 ><Info

6226 ><list-int/></Info></Node

6227 ><Node id="N3"

6228 ><Position X="2.3256250000000005" Y="0.420625"

6229 /><Name

6230 ><![CDATA[Node 3]]></Name

6231 ><LabelAbove

6232 >True</LabelAbove

6233 ><Shape

6234 ><![CDATA[interface]]></Shape

6235 ><Info

6236 ><list-int/></Info></Node

6237 ><Node id="N4"

6238 ><Position X="3.854791666666667" Y="5.526458333333333"

6239 /><Name

6240 ><![CDATA[Node 4]]></Name

6241 ><LabelAbove

6242 >True</LabelAbove

6243 ><Shape

6244 ><![CDATA[interface]]></Shape

6245 ><Info

6246 ><list-int/></Info></Node

6247 ><Node id="N5"

6248 ><Position X="2.008125" Y="5.420624999999999"

6249 /><Name

6250 ><![CDATA[Node 5]]></Name

6251 ><LabelAbove

6252 >True</LabelAbove

6253 ><Shape

6254 ><![CDATA[interface]]></Shape

6255 ><Info

6256 ><list-int/></Info></Node></Nodes

6257 ><Edges

6258 ><Edge id="E1"

6259 ><From

6260 >1</From

6261 ><PortFrom

6262 ><![CDATA[func]]></PortFrom

6263 ><To

6264 >2</To

6265 ><PortTo

6266 ><![CDATA[res]]></PortTo

6267 ><Via

6268 /><Info

6269 ><list-int/></Info></Edge

6270 ><Edge id="E2"

6271 ><From

6272 >1</From

6273 ><PortFrom

6274 ><![CDATA[arg]]></PortFrom

6275 ><To

6276 >4</To

6277 ><PortTo

6278 ><![CDATA[interface]]></PortTo

6279 ><Via

6280 /><Info

6281 ><list-int/></Info></Edge

6282 ><Edge id="E3"

6283 ><From

6284 >1</From

6285 ><PortFrom

6286 ><![CDATA[res]]></PortFrom

6287 ><To

6288 >3</To

6289 ><PortTo

6290 ><![CDATA[interface]]></PortTo

6291 ><Via

6292 /><Info

6293 ><list-int/></Info></Edge

6294 ><Edge id="E4"

6295 ><From

6296 >2</From

6297 ><PortFrom

6298 ><![CDATA[arg]]></PortFrom

6299 ><To

6300 >5</To

6301 ><PortTo

6302 ><![CDATA[interface]]></PortTo

6303 ><Via

6304 /><Info

6305 ><list-int/></Info></Edge></Edges></Network></LHS

6306 ><RHS

6307 ><Network Width="15.0" Height="9.0"

6308 ><Info

6309 ><unit/></Info

6310 ><Nodes

6311 ><Node id="N3"

6312 ><Position X="2.352083333333334" Y="0.420625"

6313 /><Name

6314 ><![CDATA[Node 3]]></Name

6315 ><LabelAbove

6316 >True</LabelAbove

6317 ><Shape

6318 ><![CDATA[interface]]></Shape

6319 ><Info

6320 ><list-int/></Info></Node

6321 ><Node id="N4"

6322 ><Position X="3.854791666666667" Y="5.526458333333333"

6323 /><Name

6324 ><![CDATA[Node 4]]></Name

6325 ><LabelAbove

6326 >True</LabelAbove

6327 ><Shape

6328 ><![CDATA[interface]]></Shape

6329 ><Info

6330 ><list-int/></Info></Node

6331 ><Node id="N5"

6332 ><Position X="2.034583333333334" Y="5.420624999999999"

6333 /><Name

6334 ><![CDATA[Node 5]]></Name

6335 ><LabelAbove

6336 >True</LabelAbove

6337 ><Shape

6338 ><![CDATA[interface]]></Shape

6339 ><Info

6340 ><list-int/></Info></Node

6341 ><Node id="N6"

6342 ><Position X="2.354791666666667" Y="1.9843750000000002"

6343 /><Name

6344 ><![CDATA[Node 6]]></Name

6345 ><LabelAbove

6346 >True</LabelAbove

6347 ><Shape

6348 ><![CDATA[evalReturn0]]></Shape

6349 ><Info

6350 ><list-int/></Info></Node

6351 ><Node id="N7"

6352 ><Position X="2.3283333333333336" Y="3.783541666666667"

6353 /><Name

6354 ><![CDATA[Node 7]]></Name

6355 ><LabelAbove

6356 >True</LabelAbove

6357 ><Shape

6358 ><![CDATA[beforeApplication]]></Shape

6359 ><Info

6360 ><list-int/></Info></Node></Nodes

6361 ><Edges

6362 ><Edge id="E1"

6363 ><From

6364 >3</From

6365 ><PortFrom

6366 ><![CDATA[interface]]></PortFrom

6367 ><To

6368 >6</To

6369 ><PortTo

6370 ><![CDATA[res]]></PortTo

6371 ><Via

6372 /><Info

6373 ><list-int/></Info></Edge

6374 ><Edge id="E2"

6375 ><From

6376 >6</From

6377 ><PortFrom

6378 ><![CDATA[arg]]></PortFrom

6379 ><To

6380 >7</To

6381 ><PortTo

6382 ><![CDATA[res]]></PortTo

6383 ><Via

6384 /><Info

6385 ><list-int/></Info></Edge

6386 ><Edge id="E3"

6387 ><From

6388 >7</From

6389 ><PortFrom

6390 ><![CDATA[func]]></PortFrom

6391 ><To

6392 >5</To

6393 ><PortTo

6394 ><![CDATA[interface]]></PortTo

6395 ><Via

6396 /><Info

6397 ><list-int/></Info></Edge

6398 ><Edge id="E4"

6399 ><From

6400 >7</From

6401 ><PortFrom

6402 ><![CDATA[arg]]></PortFrom

6403 ><To

6404 >4</To

6405 ><PortTo

6406 ><![CDATA[interface]]></PortTo

6407 ><Via

6408 /><Info

6409 ><list-int/></Info></Edge></Edges></Network></RHS

6410 ><Mapping

6411 ><MappingElement lhs="3" rhs="3"

6412 /><MappingElement lhs="4" rhs="4"

6413 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

6414 ><INRule

6415 ><Name

6416 ><![CDATA[Erase_Variable]]></Name

6417 ><LHS

6418 ><Network Width="15.0" Height="9.0"

6419 ><Info

6420 ><unit/></Info

6421 ><Nodes

6422 ><Node id="N1"

6423 ><Position X="2.0" Y="2.0"

6424 /><Name

6425 ><![CDATA[Node 1]]></Name

6426 ><LabelAbove

6427 >True</LabelAbove

6428 ><Shape

6429 ><![CDATA[Erase]]></Shape

6430 ><Info

6431 ><list-int/></Info></Node

6432 ><Node id="N2"

6433 ><Position X="2.0" Y="4.0"

6434 /><Name

6435 ><![CDATA[Node 2]]></Name

6436 ><LabelAbove

6437 >True</LabelAbove

6438 ><Shape

6439 ><![CDATA[variable]]></Shape

6440 ><Info

6441 ><list-int/></Info></Node

6442 ><Node id="N3"

6443 ><Position X="2.008125" Y="5.473541666666666"

6444 /><Name

6445 ><![CDATA[Node 3]]></Name

6446 ><LabelAbove

6447 >True</LabelAbove

6448 ><Shape

6449 ><![CDATA[interface]]></Shape

6450 ><Info

6451 ><list-int/></Info></Node></Nodes

6452 ><Edges

6453 ><Edge id="E1"

6454 ><From

6455 >1</From

6456 ><PortFrom

6457 ><![CDATA[down]]></PortFrom

6458 ><To

6459 >2</To

6460 ><PortTo

6461 ><![CDATA[res]]></PortTo

6462 ><Via

6463 /><Info

6464 ><list-int/></Info></Edge

6465 ><Edge id="E2"

6466 ><From

6467 >2</From

6468 ><PortFrom

6469 ><![CDATA[var]]></PortFrom

6470 ><To

6471 >3</To

6472 ><PortTo

6473 ><![CDATA[interface]]></PortTo

6474 ><Via

6475 /><Info

6476 ><list-int/></Info></Edge></Edges></Network></LHS

6477 ><RHS

6478 ><Network Width="15.0" Height="9.0"

6479 ><Info

6480 ><unit/></Info

6481 ><Nodes

6482 ><Node id="N1"

6483 ><Position X="2.0" Y="2.0"

6484 /><Name

6485 ><![CDATA[Node 1]]></Name

6486 ><LabelAbove

6487 >True</LabelAbove

6488 ><Shape

6489 ><![CDATA[Erase]]></Shape

6490 ><Info

6491 ><list-int/></Info></Node

6492 ><Node id="N3"

6493 ><Position X="2.008125" Y="5.473541666666666"

6494 /><Name

6495 ><![CDATA[Node 3]]></Name

6496 ><LabelAbove

6497 >True</LabelAbove

6498 ><Shape

6499 ><![CDATA[interface]]></Shape

6500 ><Info

6501 ><list-int/></Info></Node></Nodes

6502 ><Edges

6503 ><Edge id="E1"

6504 ><From

6505 >1</From

6506 ><PortFrom

6507 ><![CDATA[down]]></PortFrom

6508 ><To

6509 >3</To

6510 ><PortTo

6511 ><![CDATA[interface]]></PortTo

6512 ><Via

6513 /><Info

6514 ><list-int/></Info></Edge></Edges></Network></RHS

6515 ><Mapping

6516 ><MappingElement lhs="3" rhs="3"/></Mapping></INRule

6517 ><INRule

6518 ><Name

6519 ><![CDATA[Erase_EvaluatorReturning0]]></Name

6520 ><LHS

6521 ><Network Width="15.0" Height="9.0"

6522 ><Info

6523 ><unit/></Info

6524 ><Nodes

6525 ><Node id="N1"

6526 ><Position X="2.0" Y="2.0"

6527 /><Name

6528 ><![CDATA[Node 1]]></Name

6529 ><LabelAbove

6530 >True</LabelAbove

6531 ><Shape

6532 ><![CDATA[Erase]]></Shape

6533 ><Info

6534 ><list-int/></Info></Node

6535 ><Node id="N2"

6536 ><Position X="2.0" Y="4.0"

6537 /><Name

6538 ><![CDATA[Node 2]]></Name

6539 ><LabelAbove

6540 >True</LabelAbove

6541 ><Shape

6542 ><![CDATA[evalReturn0]]></Shape

6543 ><Info

6544 ><list-int/></Info></Node

6545 ><Node id="N3"

6546 ><Position X="2.008125" Y="5.5"

6547 /><Name

6548 ><![CDATA[Node 3]]></Name

6549 ><LabelAbove

6550 >True</LabelAbove

6551 ><Shape

6552 ><![CDATA[interface]]></Shape

6553 ><Info

6554 ><list-int/></Info></Node></Nodes

6555 ><Edges

6556 ><Edge id="E1"

6557 ><From

6558 >1</From

6559 ><PortFrom

6560 ><![CDATA[down]]></PortFrom

6561 ><To

6562 >2</To

6563 ><PortTo

6564 ><![CDATA[res]]></PortTo

6565 ><Via

6566 /><Info

6567 ><list-int/></Info></Edge

6568 ><Edge id="E2"

6569 ><From

6570 >2</From

6571 ><PortFrom

6572 ><![CDATA[arg]]></PortFrom

6573 ><To

6574 >3</To

6575 ><PortTo

6576 ><![CDATA[interface]]></PortTo

6577 ><Via

6578 /><Info

6579 ><list-int/></Info></Edge></Edges></Network></LHS

6580 ><RHS

6581 ><Network Width="15.0" Height="9.0"

6582 ><Info

6583 ><unit/></Info

6584 ><Nodes

6585 ><Node id="N1"

6586 ><Position X="2.0" Y="2.0"

6587 /><Name

6588 ><![CDATA[Node 1]]></Name

6589 ><LabelAbove

6590 >True</LabelAbove

6591 ><Shape

6592 ><![CDATA[Erase]]></Shape

6593 ><Info

6594 ><list-int/></Info></Node

6595 ><Node id="N3"

6596 ><Position X="2.008125" Y="5.5"

6597 /><Name

6598 ><![CDATA[Node 3]]></Name

6599 ><LabelAbove

6600 >True</LabelAbove

6601 ><Shape

6602 ><![CDATA[interface]]></Shape

6603 ><Info

6604 ><list-int/></Info></Node></Nodes

6605 ><Edges

6606 ><Edge id="E1"

6607 ><From

6608 >1</From

6609 ><PortFrom

6610 ><![CDATA[down]]></PortFrom

6611 ><To

6612 >3</To

6613 ><PortTo

6614 ><![CDATA[interface]]></PortTo

6615 ><Via

6616 /><Info

6617 ><list-int/></Info></Edge></Edges></Network></RHS

6618 ><Mapping

6619 ><MappingElement lhs="3" rhs="3"/></Mapping></INRule

6620 ><INRule

6621 ><Name

6622 ><![CDATA[Copy_Variable]]></Name

6623 ><LHS

6624 ><Network Width="15.0" Height="9.0"

6625 ><Info

6626 ><unit/></Info

6627 ><Nodes

6628 ><Node id="N1"

6629 ><Position X="2.0" Y="2.0"

6630 /><Name

6631 ><![CDATA[Node 1]]></Name

6632 ><LabelAbove

6633 >True</LabelAbove

6634 ><Shape

6635 ><![CDATA[copy]]></Shape

6636 ><Info

6637 ><list-int/></Info></Node

6638 ><Node id="N2"

6639 ><Position X="2.0" Y="4.0"

6640 /><Name

6641 ><![CDATA[Node 2]]></Name

6642 ><LabelAbove

6643 >True</LabelAbove

6644 ><Shape

6645 ><![CDATA[variable]]></Shape

6646 ><Info

6647 ><list-int/></Info></Node

6648 ><Node id="N3"

6649 ><Position X="1.2408333333333332" Y="0.6058333333333333"

6650 /><Name

6651 ><![CDATA[Node 3]]></Name

6652 ><LabelAbove

6653 >True</LabelAbove

6654 ><Shape

6655 ><![CDATA[interface]]></Shape

6656 ><Info

6657 ><list-int/></Info></Node

6658 ><Node id="N4"

6659 ><Position X="2.6641666666666666" Y="0.7381249999999999"

6660 /><Name

6661 ><![CDATA[Node 4]]></Name

6662 ><LabelAbove

6663 >True</LabelAbove

6664 ><Shape

6665 ><![CDATA[interface]]></Shape

6666 ><Info

6667 ><list-int/></Info></Node

6668 ><Node id="N5"

6669 ><Position X="2.008125" Y="5.447083333333333"

6670 /><Name

6671 ><![CDATA[Node 5]]></Name

6672 ><LabelAbove

6673 >True</LabelAbove

6674 ><Shape

6675 ><![CDATA[interface]]></Shape

6676 ><Info

6677 ><list-int/></Info></Node></Nodes

6678 ><Edges

6679 ><Edge id="E1"

6680 ><From

6681 >1</From

6682 ><PortFrom

6683 ><![CDATA[src]]></PortFrom

6684 ><To

6685 >2</To

6686 ><PortTo

6687 ><![CDATA[res]]></PortTo

6688 ><Via

6689 /><Info

6690 ><list-int/></Info></Edge

6691 ><Edge id="E2"

6692 ><From

6693 >1</From

6694 ><PortFrom

6695 ><![CDATA[snd_target]]></PortFrom

6696 ><To

6697 >4</To

6698 ><PortTo

6699 ><![CDATA[interface]]></PortTo

6700 ><Via

6701 /><Info

6702 ><list-int/></Info></Edge

6703 ><Edge id="E3"

6704 ><From

6705 >1</From

6706 ><PortFrom

6707 ><![CDATA[fst_target]]></PortFrom

6708 ><To

6709 >3</To

6710 ><PortTo

6711 ><![CDATA[interface]]></PortTo

6712 ><Via

6713 /><Info

6714 ><list-int/></Info></Edge

6715 ><Edge id="E4"

6716 ><From

6717 >2</From

6718 ><PortFrom

6719 ><![CDATA[var]]></PortFrom

6720 ><To

6721 >5</To

6722 ><PortTo

6723 ><![CDATA[interface]]></PortTo

6724 ><Via

6725 /><Info

6726 ><list-int/></Info></Edge></Edges></Network></LHS

6727 ><RHS

6728 ><Network Width="15.0" Height="9.0"

6729 ><Info

6730 ><unit/></Info

6731 ><Nodes

6732 ><Node id="N3"

6733 ><Position X="1.2408333333333332" Y="0.6058333333333333"

6734 /><Name

6735 ><![CDATA[Node 3]]></Name

6736 ><LabelAbove

6737 >True</LabelAbove

6738 ><Shape

6739 ><![CDATA[interface]]></Shape

6740 ><Info

6741 ><list-int/></Info></Node

6742 ><Node id="N4"

6743 ><Position X="2.717083333333333" Y="0.579375"

6744 /><Name

6745 ><![CDATA[Node 4]]></Name

6746 ><LabelAbove

6747 >True</LabelAbove

6748 ><Shape

6749 ><![CDATA[interface]]></Shape

6750 ><Info

6751 ><list-int/></Info></Node

6752 ><Node id="N5"

6753 ><Position X="2.008125" Y="5.447083333333333"

6754 /><Name

6755 ><![CDATA[Node 5]]></Name

6756 ><LabelAbove

6757 >True</LabelAbove

6758 ><Shape

6759 ><![CDATA[interface]]></Shape

6760 ><Info

6761 ><list-int/></Info></Node

6762 ><Node id="N6"

6763 ><Position X="1.2435416666666668" Y="2.116666666666667"

6764 /><Name

6765 ><![CDATA[Node 6]]></Name

6766 ><LabelAbove

6767 >True</LabelAbove

6768 ><Shape

6769 ><![CDATA[variable]]></Shape

6770 ><Info

6771 ><list-int/></Info></Node

6772 ><Node id="N7"

6773 ><Position X="2.6987500000000004" Y="2.1695833333333336"

6774 /><Name

6775 ><![CDATA[Node 7]]></Name

6776 ><LabelAbove

6777 >True</LabelAbove

6778 ><Shape

6779 ><![CDATA[variable]]></Shape

6780 ><Info

6781 ><list-int/></Info></Node

6782 ><Node id="N8"

6783 ><Position X="2.0108333333333333" Y="3.7835416666666672"

6784 /><Name

6785 ><![CDATA[Node 8]]></Name

6786 ><LabelAbove

6787 >True</LabelAbove

6788 ><Shape

6789 ><![CDATA[copy]]></Shape

6790 ><Info

6791 ><list-int/></Info></Node></Nodes

6792 ><Edges

6793 ><Edge id="E1"

6794 ><From

6795 >3</From

6796 ><PortFrom

6797 ><![CDATA[interface]]></PortFrom

6798 ><To

6799 >6</To

6800 ><PortTo

6801 ><![CDATA[res]]></PortTo

6802 ><Via

6803 /><Info

6804 ><list-int/></Info></Edge

6805 ><Edge id="E2"

6806 ><From

6807 >4</From

6808 ><PortFrom

6809 ><![CDATA[interface]]></PortFrom

6810 ><To

6811 >7</To

6812 ><PortTo

6813 ><![CDATA[res]]></PortTo

6814 ><Via

6815 /><Info

6816 ><list-int/></Info></Edge

6817 ><Edge id="E3"

6818 ><From

6819 >6</From

6820 ><PortFrom

6821 ><![CDATA[var]]></PortFrom

6822 ><To

6823 >8</To

6824 ><PortTo

6825 ><![CDATA[fst_target]]></PortTo

6826 ><Via

6827 /><Info

6828 ><list-int/></Info></Edge

6829 ><Edge id="E4"

6830 ><From

6831 >7</From

6832 ><PortFrom

6833 ><![CDATA[var]]></PortFrom

6834 ><To

6835 >8</To

6836 ><PortTo

6837 ><![CDATA[snd_target]]></PortTo

6838 ><Via

6839 /><Info

6840 ><list-int/></Info></Edge

6841 ><Edge id="E5"

6842 ><From

6843 >8</From

6844 ><PortFrom

6845 ><![CDATA[src]]></PortFrom

6846 ><To

6847 >5</To

6848 ><PortTo

6849 ><![CDATA[interface]]></PortTo

6850 ><Via

6851 /><Info

6852 ><list-int/></Info></Edge></Edges></Network></RHS

6853 ><Mapping

6854 ><MappingElement lhs="3" rhs="3"

6855 /><MappingElement lhs="4" rhs="4"

6856 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

6857 ><INRule

6858 ><Name

6859 ><![CDATA[Copy_EaluatorReturning0]]></Name

6860 ><LHS

6861 ><Network Width="15.0" Height="9.0"

6862 ><Info

6863 ><unit/></Info

6864 ><Nodes

6865 ><Node id="N1"

6866 ><Position X="2.0" Y="2.0"

6867 /><Name

6868 ><![CDATA[Node 1]]></Name

6869 ><LabelAbove

6870 >True</LabelAbove

6871 ><Shape

6872 ><![CDATA[copy]]></Shape

6873 ><Info

6874 ><list-int/></Info></Node

6875 ><Node id="N2"

6876 ><Position X="2.0" Y="4.0"

6877 /><Name

6878 ><![CDATA[Node 2]]></Name

6879 ><LabelAbove

6880 >True</LabelAbove

6881 ><Shape

6882 ><![CDATA[evalReturn0]]></Shape

6883 ><Info

6884 ><list-int/></Info></Node

6885 ><Node id="N3"

6886 ><Position X="1.055625" Y="0.5264583333333334"

6887 /><Name

6888 ><![CDATA[Node 3]]></Name

6889 ><LabelAbove

6890 >True</LabelAbove

6891 ><Shape

6892 ><![CDATA[interface]]></Shape

6893 ><Info

6894 ><list-int/></Info></Node

6895 ><Node id="N4"

6896 ><Position X="2.7700000000000005" Y="0.6058333333333333"

6897 /><Name

6898 ><![CDATA[Node 4]]></Name

6899 ><LabelAbove

6900 >True</LabelAbove

6901 ><Shape

6902 ><![CDATA[interface]]></Shape

6903 ><Info

6904 ><list-int/></Info></Node

6905 ><Node id="N5"

6906 ><Position X="2.008125" Y="5.5"

6907 /><Name

6908 ><![CDATA[Node 5]]></Name

6909 ><LabelAbove

6910 >True</LabelAbove

6911 ><Shape

6912 ><![CDATA[interface]]></Shape

6913 ><Info

6914 ><list-int/></Info></Node></Nodes

6915 ><Edges

6916 ><Edge id="E1"

6917 ><From

6918 >1</From

6919 ><PortFrom

6920 ><![CDATA[src]]></PortFrom

6921 ><To

6922 >2</To

6923 ><PortTo

6924 ><![CDATA[res]]></PortTo

6925 ><Via

6926 /><Info

6927 ><list-int/></Info></Edge

6928 ><Edge id="E2"

6929 ><From

6930 >1</From

6931 ><PortFrom

6932 ><![CDATA[snd_target]]></PortFrom

6933 ><To

6934 >4</To

6935 ><PortTo

6936 ><![CDATA[interface]]></PortTo

6937 ><Via

6938 /><Info

6939 ><list-int/></Info></Edge

6940 ><Edge id="E3"

6941 ><From

6942 >1</From

6943 ><PortFrom

6944 ><![CDATA[fst_target]]></PortFrom

6945 ><To

6946 >3</To

6947 ><PortTo

6948 ><![CDATA[interface]]></PortTo

6949 ><Via

6950 /><Info

6951 ><list-int/></Info></Edge

6952 ><Edge id="E4"

6953 ><From

6954 >2</From

6955 ><PortFrom

6956 ><![CDATA[arg]]></PortFrom

6957 ><To

6958 >5</To

6959 ><PortTo

6960 ><![CDATA[interface]]></PortTo

6961 ><Via

6962 /><Info

6963 ><list-int/></Info></Edge></Edges></Network></LHS

6964 ><RHS

6965 ><Network Width="15.0" Height="9.0"

6966 ><Info

6967 ><unit/></Info

6968 ><Nodes

6969 ><Node id="N3"

6970 ><Position X="1.055625" Y="0.5264583333333334"

6971 /><Name

6972 ><![CDATA[Node 3]]></Name

6973 ><LabelAbove

6974 >True</LabelAbove

6975 ><Shape

6976 ><![CDATA[interface]]></Shape

6977 ><Info

6978 ><list-int/></Info></Node

6979 ><Node id="N4"

6980 ><Position X="2.7700000000000005" Y="0.6058333333333333"

6981 /><Name

6982 ><![CDATA[Node 4]]></Name

6983 ><LabelAbove

6984 >True</LabelAbove

6985 ><Shape

6986 ><![CDATA[interface]]></Shape

6987 ><Info

6988 ><list-int/></Info></Node

6989 ><Node id="N5"

6990 ><Position X="2.008125" Y="5.5"

6991 /><Name

6992 ><![CDATA[Node 5]]></Name

6993 ><LabelAbove

6994 >True</LabelAbove

6995 ><Shape

6996 ><![CDATA[interface]]></Shape

6997 ><Info

6998 ><list-int/></Info></Node

6999 ><Node id="N6"

7000 ><Position X="1.031875" Y="1.9579166666666667"

7001 /><Name

7002 ><![CDATA[Node 6]]></Name

7003 ><LabelAbove

7004 >True</LabelAbove

7005 ><Shape

7006 ><![CDATA[evalReturn0]]></Shape

7007 ><Info

7008 ><list-int/></Info></Node

7009 ><Node id="N7"

7010 ><Position X="2.778125" Y="1.9579166666666667"

7011 /><Name

7012 ><![CDATA[Node 7]]></Name

7013 ><LabelAbove

7014 >True</LabelAbove

7015 ><Shape

7016 ><![CDATA[evalReturn0]]></Shape

7017 ><Info

7018 ><list-int/></Info></Node

7019 ><Node id="N8"

7020 ><Position X="2.0108333333333333" Y="3.9952083333333337"

7021 /><Name

7022 ><![CDATA[Node 8]]></Name

7023 ><LabelAbove

7024 >True</LabelAbove

7025 ><Shape

7026 ><![CDATA[copy]]></Shape

7027 ><Info

7028 ><list-int/></Info></Node></Nodes

7029 ><Edges

7030 ><Edge id="E1"

7031 ><From

7032 >3</From

7033 ><PortFrom

7034 ><![CDATA[interface]]></PortFrom

7035 ><To

7036 >6</To

7037 ><PortTo

7038 ><![CDATA[res]]></PortTo

7039 ><Via

7040 /><Info

7041 ><list-int/></Info></Edge

7042 ><Edge id="E2"

7043 ><From

7044 >4</From

7045 ><PortFrom

7046 ><![CDATA[interface]]></PortFrom

7047 ><To

7048 >7</To

7049 ><PortTo

7050 ><![CDATA[res]]></PortTo

7051 ><Via

7052 /><Info

7053 ><list-int/></Info></Edge

7054 ><Edge id="E3"

7055 ><From

7056 >6</From

7057 ><PortFrom

7058 ><![CDATA[arg]]></PortFrom

7059 ><To

7060 >8</To

7061 ><PortTo

7062 ><![CDATA[fst_target]]></PortTo

7063 ><Via

7064 /><Info

7065 ><list-int/></Info></Edge

7066 ><Edge id="E4"

7067 ><From

7068 >7</From

7069 ><PortFrom

7070 ><![CDATA[arg]]></PortFrom

7071 ><To

7072 >8</To

7073 ><PortTo

7074 ><![CDATA[snd_target]]></PortTo

7075 ><Via

7076 /><Info

7077 ><list-int/></Info></Edge

7078 ><Edge id="E5"

7079 ><From

7080 >8</From

7081 ><PortFrom

7082 ><![CDATA[src]]></PortFrom

7083 ><To

7084 >5</To

7085 ><PortTo

7086 ><![CDATA[interface]]></PortTo

7087 ><Via

7088 /><Info

7089 ><list-int/></Info></Edge></Edges></Network></RHS

7090 ><Mapping

7091 ><MappingElement lhs="3" rhs="3"

7092 /><MappingElement lhs="4" rhs="4"

7093 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

7094 ><INRule

7095 ><Name

7096 ><![CDATA[Duplicator_Variable]]></Name

7097 ><LHS

7098 ><Network Width="15.0" Height="9.0"

7099 ><Info

7100 ><unit/></Info

7101 ><Nodes

7102 ><Node id="N1"

7103 ><Position X="2.0" Y="2.0"

7104 /><Name

7105 ><![CDATA[Node 1]]></Name

7106 ><LabelAbove

7107 >True</LabelAbove

7108 ><Shape

7109 ><![CDATA[duplicator]]></Shape

7110 ><Info

7111 ><list-int/></Info></Node

7112 ><Node id="N2"

7113 ><Position X="2.0" Y="4.0"

7114 /><Name

7115 ><![CDATA[Node 2]]></Name

7116 ><LabelAbove

7117 >True</LabelAbove

7118 ><Shape

7119 ><![CDATA[variable]]></Shape

7120 ><Info

7121 ><list-int/></Info></Node

7122 ><Node id="N3"

7123 ><Position X="0.9233333333333335" Y="0.5264583333333334"

7124 /><Name

7125 ><![CDATA[Node 3]]></Name

7126 ><LabelAbove

7127 >True</LabelAbove

7128 ><Shape

7129 ><![CDATA[interface]]></Shape

7130 ><Info

7131 ><list-int/></Info></Node

7132 ><Node id="N4"

7133 ><Position X="2.690625" Y="0.5529166666666666"

7134 /><Name

7135 ><![CDATA[Node 4]]></Name

7136 ><LabelAbove

7137 >True</LabelAbove

7138 ><Shape

7139 ><![CDATA[interface]]></Shape

7140 ><Info

7141 ><list-int/></Info></Node

7142 ><Node id="N5"

7143 ><Position X="2.008125" Y="5.473541666666667"

7144 /><Name

7145 ><![CDATA[Node 5]]></Name

7146 ><LabelAbove

7147 >True</LabelAbove

7148 ><Shape

7149 ><![CDATA[interface]]></Shape

7150 ><Info

7151 ><list-int/></Info></Node></Nodes

7152 ><Edges

7153 ><Edge id="E1"

7154 ><From

7155 >1</From

7156 ><PortFrom

7157 ><![CDATA[down]]></PortFrom

7158 ><To

7159 >2</To

7160 ><PortTo

7161 ><![CDATA[res]]></PortTo

7162 ><Via

7163 /><Info

7164 ><list-int/></Info></Edge

7165 ><Edge id="E2"

7166 ><From

7167 >1</From

7168 ><PortFrom

7169 ><![CDATA[copy2]]></PortFrom

7170 ><To

7171 >4</To

7172 ><PortTo

7173 ><![CDATA[interface]]></PortTo

7174 ><Via

7175 /><Info

7176 ><list-int/></Info></Edge

7177 ><Edge id="E3"

7178 ><From

7179 >1</From

7180 ><PortFrom

7181 ><![CDATA[copy1]]></PortFrom

7182 ><To

7183 >3</To

7184 ><PortTo

7185 ><![CDATA[interface]]></PortTo

7186 ><Via

7187 /><Info

7188 ><list-int/></Info></Edge

7189 ><Edge id="E4"

7190 ><From

7191 >2</From

7192 ><PortFrom

7193 ><![CDATA[var]]></PortFrom

7194 ><To

7195 >5</To

7196 ><PortTo

7197 ><![CDATA[interface]]></PortTo

7198 ><Via

7199 /><Info

7200 ><list-int/></Info></Edge></Edges></Network></LHS

7201 ><RHS

7202 ><Network Width="15.0" Height="9.0"

7203 ><Info

7204 ><unit/></Info

7205 ><Nodes

7206 ><Node id="N3"

7207 ><Position X="0.9233333333333335" Y="0.5264583333333334"

7208 /><Name

7209 ><![CDATA[Node 3]]></Name

7210 ><LabelAbove

7211 >True</LabelAbove

7212 ><Shape

7213 ><![CDATA[interface]]></Shape

7214 ><Info

7215 ><list-int/></Info></Node

7216 ><Node id="N4"

7217 ><Position X="2.690625" Y="0.5529166666666666"

7218 /><Name

7219 ><![CDATA[Node 4]]></Name

7220 ><LabelAbove

7221 >True</LabelAbove

7222 ><Shape

7223 ><![CDATA[interface]]></Shape

7224 ><Info

7225 ><list-int/></Info></Node

7226 ><Node id="N5"

7227 ><Position X="2.008125" Y="5.473541666666667"

7228 /><Name

7229 ><![CDATA[Node 5]]></Name

7230 ><LabelAbove

7231 >True</LabelAbove

7232 ><Shape

7233 ><![CDATA[interface]]></Shape

7234 ><Info

7235 ><list-int/></Info></Node

7236 ><Node id="N7"

7237 ><Position X="0.9260416666666668" Y="2.1166666666666667"

7238 /><Name

7239 ><![CDATA[Node 7]]></Name

7240 ><LabelAbove

7241 >True</LabelAbove

7242 ><Shape

7243 ><![CDATA[variable]]></Shape

7244 ><Info

7245 ><list-int/></Info></Node

7246 ><Node id="N8"

7247 ><Position X="2.69875" Y="2.037291666666667"

7248 /><Name

7249 ><![CDATA[Node 8]]></Name

7250 ><LabelAbove

7251 >True</LabelAbove

7252 ><Shape

7253 ><![CDATA[variable]]></Shape

7254 ><Info

7255 ><list-int/></Info></Node

7256 ><Node id="N9"

7257 ><Position X="1.9843750000000002" Y="3.9687500000000004"

7258 /><Name

7259 ><![CDATA[Node 9]]></Name

7260 ><LabelAbove

7261 >True</LabelAbove

7262 ><Shape

7263 ><![CDATA[copy]]></Shape

7264 ><Info

7265 ><list-int/></Info></Node></Nodes

7266 ><Edges

7267 ><Edge id="E2"

7268 ><From

7269 >3</From

7270 ><PortFrom

7271 ><![CDATA[interface]]></PortFrom

7272 ><To

7273 >7</To

7274 ><PortTo

7275 ><![CDATA[res]]></PortTo

7276 ><Via

7277 /><Info

7278 ><list-int/></Info></Edge

7279 ><Edge id="E3"

7280 ><From

7281 >4</From

7282 ><PortFrom

7283 ><![CDATA[interface]]></PortFrom

7284 ><To

7285 >8</To

7286 ><PortTo

7287 ><![CDATA[res]]></PortTo

7288 ><Via

7289 /><Info

7290 ><list-int/></Info></Edge

7291 ><Edge id="E4"

7292 ><From

7293 >7</From

7294 ><PortFrom

7295 ><![CDATA[var]]></PortFrom

7296 ><To

7297 >9</To

7298 ><PortTo

7299 ><![CDATA[fst_target]]></PortTo

7300 ><Via

7301 /><Info

7302 ><list-int/></Info></Edge

7303 ><Edge id="E5"

7304 ><From

7305 >8</From

7306 ><PortFrom

7307 ><![CDATA[var]]></PortFrom

7308 ><To

7309 >9</To

7310 ><PortTo

7311 ><![CDATA[snd_target]]></PortTo

7312 ><Via

7313 /><Info

7314 ><list-int/></Info></Edge

7315 ><Edge id="E6"

7316 ><From

7317 >9</From

7318 ><PortFrom

7319 ><![CDATA[src]]></PortFrom

7320 ><To

7321 >5</To

7322 ><PortTo

7323 ><![CDATA[interface]]></PortTo

7324 ><Via

7325 /><Info

7326 ><list-int/></Info></Edge></Edges></Network></RHS

7327 ><Mapping

7328 ><MappingElement lhs="3" rhs="3"

7329 /><MappingElement lhs="4" rhs="4"

7330 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

7331 ><INRule

7332 ><Name

7333 ><![CDATA[Duplicator_EvaluatorReturning0]]></Name

7334 ><LHS

7335 ><Network Width="15.0" Height="9.0"

7336 ><Info

7337 ><unit/></Info

7338 ><Nodes

7339 ><Node id="N1"

7340 ><Position X="2.0" Y="2.0"

7341 /><Name

7342 ><![CDATA[Node 1]]></Name

7343 ><LabelAbove

7344 >True</LabelAbove

7345 ><Shape

7346 ><![CDATA[duplicator]]></Shape

7347 ><Info

7348 ><list-int/></Info></Node

7349 ><Node id="N2"

7350 ><Position X="2.0" Y="4.0"

7351 /><Name

7352 ><![CDATA[Node 2]]></Name

7353 ><LabelAbove

7354 >True</LabelAbove

7355 ><Shape

7356 ><![CDATA[evalReturn0]]></Shape

7357 ><Info

7358 ><list-int/></Info></Node

7359 ><Node id="N3"

7360 ><Position X="1.0291666666666668" Y="0.4735416666666667"

7361 /><Name

7362 ><![CDATA[Node 3]]></Name

7363 ><LabelAbove

7364 >True</LabelAbove

7365 ><Shape

7366 ><![CDATA[interface]]></Shape

7367 ><Info

7368 ><list-int/></Info></Node

7369 ><Node id="N4"

7370 ><Position X="2.6906250000000003" Y="0.5"

7371 /><Name

7372 ><![CDATA[Node 4]]></Name

7373 ><LabelAbove

7374 >True</LabelAbove

7375 ><Shape

7376 ><![CDATA[interface]]></Shape

7377 ><Info

7378 ><list-int/></Info></Node

7379 ><Node id="N5"

7380 ><Position X="2.008125" Y="5.5"

7381 /><Name

7382 ><![CDATA[Node 5]]></Name

7383 ><LabelAbove

7384 >True</LabelAbove

7385 ><Shape

7386 ><![CDATA[interface]]></Shape

7387 ><Info

7388 ><list-int/></Info></Node></Nodes

7389 ><Edges

7390 ><Edge id="E1"

7391 ><From

7392 >1</From

7393 ><PortFrom

7394 ><![CDATA[down]]></PortFrom

7395 ><To

7396 >2</To

7397 ><PortTo

7398 ><![CDATA[res]]></PortTo

7399 ><Via

7400 /><Info

7401 ><list-int/></Info></Edge

7402 ><Edge id="E2"

7403 ><From

7404 >1</From

7405 ><PortFrom

7406 ><![CDATA[copy2]]></PortFrom

7407 ><To

7408 >4</To

7409 ><PortTo

7410 ><![CDATA[interface]]></PortTo

7411 ><Via

7412 /><Info

7413 ><list-int/></Info></Edge

7414 ><Edge id="E3"

7415 ><From

7416 >1</From

7417 ><PortFrom

7418 ><![CDATA[copy1]]></PortFrom

7419 ><To

7420 >3</To

7421 ><PortTo

7422 ><![CDATA[interface]]></PortTo

7423 ><Via

7424 /><Info

7425 ><list-int/></Info></Edge

7426 ><Edge id="E4"

7427 ><From

7428 >2</From

7429 ><PortFrom

7430 ><![CDATA[arg]]></PortFrom

7431 ><To

7432 >5</To

7433 ><PortTo

7434 ><![CDATA[interface]]></PortTo

7435 ><Via

7436 /><Info

7437 ><list-int/></Info></Edge></Edges></Network></LHS

7438 ><RHS

7439 ><Network Width="15.0" Height="9.0"

7440 ><Info

7441 ><unit/></Info

7442 ><Nodes

7443 ><Node id="N3"

7444 ><Position X="1.0291666666666668" Y="0.4735416666666667"

7445 /><Name

7446 ><![CDATA[Node 3]]></Name

7447 ><LabelAbove

7448 >True</LabelAbove

7449 ><Shape

7450 ><![CDATA[interface]]></Shape

7451 ><Info

7452 ><list-int/></Info></Node

7453 ><Node id="N4"

7454 ><Position X="2.6906250000000003" Y="0.5"

7455 /><Name

7456 ><![CDATA[Node 4]]></Name

7457 ><LabelAbove

7458 >True</LabelAbove

7459 ><Shape

7460 ><![CDATA[interface]]></Shape

7461 ><Info

7462 ><list-int/></Info></Node

7463 ><Node id="N5"

7464 ><Position X="2.008125" Y="5.5"

7465 /><Name

7466 ><![CDATA[Node 5]]></Name

7467 ><LabelAbove

7468 >True</LabelAbove

7469 ><Shape

7470 ><![CDATA[interface]]></Shape

7471 ><Info

7472 ><list-int/></Info></Node

7473 ><Node id="N6"

7474 ><Position X="1.031875" Y="2.06375"

7475 /><Name

7476 ><![CDATA[Node 6]]></Name

7477 ><LabelAbove

7478 >True</LabelAbove

7479 ><Shape

7480 ><![CDATA[evalReturn0]]></Shape

7481 ><Info

7482 ><list-int/></Info></Node

7483 ><Node id="N7"

7484 ><Position X="2.69875" Y="1.984375"

7485 /><Name

7486 ><![CDATA[Node 7]]></Name

7487 ><LabelAbove

7488 >True</LabelAbove

7489 ><Shape

7490 ><![CDATA[evalReturn0]]></Shape

7491 ><Info

7492 ><list-int/></Info></Node

7493 ><Node id="N8"

7494 ><Position X="1.9843750000000002" Y="3.915833333333334"

7495 /><Name

7496 ><![CDATA[Node 8]]></Name

7497 ><LabelAbove

7498 >True</LabelAbove

7499 ><Shape

7500 ><![CDATA[duplicator]]></Shape

7501 ><Info

7502 ><list-int/></Info></Node></Nodes

7503 ><Edges

7504 ><Edge id="E1"

7505 ><From

7506 >3</From

7507 ><PortFrom

7508 ><![CDATA[interface]]></PortFrom

7509 ><To

7510 >6</To

7511 ><PortTo

7512 ><![CDATA[res]]></PortTo

7513 ><Via

7514 /><Info

7515 ><list-int/></Info></Edge

7516 ><Edge id="E2"

7517 ><From

7518 >4</From

7519 ><PortFrom

7520 ><![CDATA[interface]]></PortFrom

7521 ><To

7522 >7</To

7523 ><PortTo

7524 ><![CDATA[res]]></PortTo

7525 ><Via

7526 /><Info

7527 ><list-int/></Info></Edge

7528 ><Edge id="E3"

7529 ><From

7530 >6</From

7531 ><PortFrom

7532 ><![CDATA[arg]]></PortFrom

7533 ><To

7534 >8</To

7535 ><PortTo

7536 ><![CDATA[copy1]]></PortTo

7537 ><Via

7538 /><Info

7539 ><list-int/></Info></Edge

7540 ><Edge id="E4"

7541 ><From

7542 >7</From

7543 ><PortFrom

7544 ><![CDATA[arg]]></PortFrom

7545 ><To

7546 >8</To

7547 ><PortTo

7548 ><![CDATA[copy2]]></PortTo

7549 ><Via

7550 /><Info

7551 ><list-int/></Info></Edge

7552 ><Edge id="E5"

7553 ><From

7554 >8</From

7555 ><PortFrom

7556 ><![CDATA[down]]></PortFrom

7557 ><To

7558 >5</To

7559 ><PortTo

7560 ><![CDATA[interface]]></PortTo

7561 ><Via

7562 /><Info

7563 ><list-int/></Info></Edge></Edges></Network></RHS

7564 ><Mapping

7565 ><MappingElement lhs="3" rhs="3"

7566 /><MappingElement lhs="4" rhs="4"

7567 /><MappingElement lhs="5"

7568 rhs="5"/></Mapping></INRule></Rules></Document>