darcs - INblobs

1 <Document

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

3 ><Info

4 ><unit/></Info

5 ><Nodes

6 /><Edges/></Network

7 ><Palette

8 ><Symbol

9 ><ShapeName

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

11 ><Shape

12 ><Circle

13 ><ShapeStyle

14 ><int value="2"

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

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

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

18 ><Ports

19 ><Principals

20 ><Port

21 ><string

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

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

24 ><Auxiliaries/></Ports

25 ><Info

26 ><maybe-list-int

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

28 ><Symbol

29 ><ShapeName

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

31 ><Shape

32 ><Composite

33 ><list-Shape

34 ><Circle

35 ><ShapeStyle

36 ><int value="1"

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

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

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

40 ><Lines

41 ><ShapeStyle

42 ><int value="2"

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

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

45 ><list-DoublePoint

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

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

48 ><Lines

49 ><ShapeStyle

50 ><int value="2"

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

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

53 ><list-DoublePoint

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

55 /><Position X="-0.25"

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

57 ><Ports

58 ><Principals

59 ><Port

60 ><string

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

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

63 ><Auxiliaries

64 ><Port

65 ><string

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

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

68 ><Port

69 ><string

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

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

72 ><Info

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

74 ><Symbol

75 ><ShapeName

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

77 ><Shape

78 ><TextInEllipse

79 ><ShapeStyle

80 ><int value="1"

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

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

83 ><string

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

85 ><Ports

86 ><Principals

87 ><Port

88 ><string

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

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

91 ><Auxiliaries

92 ><Port

93 ><string

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

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

96 ><Port

97 ><string

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

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

100 ><Info

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

102 ><Symbol

103 ><ShapeName

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

105 ><Shape

106 ><Composite

107 ><list-Shape

108 ><Circle

109 ><ShapeStyle

110 ><int value="1"

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

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

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

114 ><Lines

115 ><ShapeStyle

116 ><int value="2"

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

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

119 ><list-DoublePoint

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

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

122 ><Lines

123 ><ShapeStyle

124 ><int value="2"

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

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

127 ><list-DoublePoint

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

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

130 ><Lines

131 ><ShapeStyle

132 ><int value="2"

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

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

135 ><list-DoublePoint

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

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

138 /><Position X="0.3"

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

140 ><Ports

141 ><Principals

142 ><Port

143 ><string

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

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

146 ><Auxiliaries

147 ><Port

148 ><string

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

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

151 ><Info

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

153 ><Symbol

154 ><ShapeName

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

156 ><Shape

157 ><Composite

158 ><list-Shape

159 ><Circle

160 ><ShapeStyle

161 ><int value="1"

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

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

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

165 ><Lines

166 ><ShapeStyle

167 ><int value="2"

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

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

170 ><list-DoublePoint

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

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

173 ><Lines

174 ><ShapeStyle

175 ><int value="2"

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

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

178 ><list-DoublePoint

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

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

181 ><Lines

182 ><ShapeStyle

183 ><int value="2"

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

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

186 ><list-DoublePoint

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

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

189 /><Position X="0.3"

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

191 ><Ports

192 ><Principals

193 ><Port

194 ><string

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

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

197 ><Auxiliaries

198 ><Port

199 ><string

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

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

202 ><Info

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

204 ><Symbol

205 ><ShapeName

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

207 ><Shape

208 ><TextInEllipse

209 ><ShapeStyle

210 ><int value="1"

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

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

213 ><string

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

215 ><Ports

216 ><Principals

217 ><Port

218 ><string

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

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

221 ><Auxiliaries

222 ><Port

223 ><string

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

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

226 ><Port

227 ><string

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

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

230 ><Info

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

232 ><Symbol

233 ><ShapeName

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

235 ><Shape

236 ><TextInEllipse

237 ><ShapeStyle

238 ><int value="1"

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

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

241 ><string

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

243 ><Ports

244 ><Principals

245 ><Port

246 ><string

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

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

249 ><Auxiliaries

250 ><Port

251 ><string

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

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

254 ><Port

255 ><string

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

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

258 ><Info

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

260 ><Symbol

261 ><ShapeName

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

263 ><Shape

264 ><Composite

265 ><list-Shape

266 ><Circle

267 ><ShapeStyle

268 ><int value="2"

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

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

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

272 ><Arc

273 ><ShapeStyle

274 ><int value="2"

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

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

277 ><double value="0.2"

278 /><double value="70.0"

279 /><double value="270.0"

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

281 ><Arc

282 ><ShapeStyle

283 ><int value="2"

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

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

286 ><double value="0.2"

287 /><double value="150.0"

288 /><double value="90.0"

289 /><Position X="0.0"

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

291 ><Ports

292 ><Principals

293 ><Port

294 ><string

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

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

297 ><Auxiliaries

298 ><Port

299 ><string

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

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

302 ><Port

303 ><string

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

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

306 ><Info

307 ><maybe-list-int

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

309 ><Symbol

310 ><ShapeName

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

312 ><Shape

313 ><Composite

314 ><list-Shape

315 ><Circle

316 ><ShapeStyle

317 ><int value="2"

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

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

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

321 ><Arc

322 ><ShapeStyle

323 ><int value="2"

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

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

326 ><double value="0.2"

327 /><double value="90.0"

328 /><double value="270.0"

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

330 ><Arc

331 ><ShapeStyle

332 ><int value="2"

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

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

335 ><double value="0.2"

336 /><double value="90.0"

337 /><double value="270.0"

338 /><Position X="0.0"

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

340 ><Ports

341 ><Principals

342 ><Port

343 ><string

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

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

346 ><Auxiliaries/></Ports

347 ><Info

348 ><maybe-list-int

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

350 ><Symbol

351 ><ShapeName

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

353 ><Shape

354 ><TextInEllipse

355 ><ShapeStyle

356 ><int value="1"

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

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

359 ><string

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

361 ><Ports

362 ><Principals

363 ><Port

364 ><string

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

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

367 ><Auxiliaries

368 ><Port

369 ><string

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

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

372 ><Port

373 ><string

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

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

376 ><Info

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

378 ><Rules

379 ><INRule

380 ><Name

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

382 ><LHS

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

384 ><Info

385 ><unit/></Info

386 ><Nodes

387 ><Node id="N1"

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

389 /><Name

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

391 ><LabelAbove

392 >True</LabelAbove

393 ><Shape

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

395 ><Info

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

397 ><Node id="N2"

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

399 /><Name

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

401 ><LabelAbove

402 >True</LabelAbove

403 ><Shape

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

405 ><Info

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

407 ><Node id="N3"

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

409 /><Name

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

411 ><LabelAbove

412 >True</LabelAbove

413 ><Shape

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

415 ><Info

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

417 ><Node id="N4"

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

419 /><Name

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

421 ><LabelAbove

422 >True</LabelAbove

423 ><Shape

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

425 ><Info

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

427 ><Node id="N5"

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

429 /><Name

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

431 ><LabelAbove

432 >True</LabelAbove

433 ><Shape

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

435 ><Info

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

437 ><Edges

438 ><Edge id="E1"

439 ><From

440 >1</From

441 ><PortFrom

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

443 ><To

444 >2</To

445 ><PortTo

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

447 ><Via

448 /><Info

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

450 ><Edge id="E2"

451 ><From

452 >1</From

453 ><PortFrom

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

455 ><To

456 >3</To

457 ><PortTo

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

459 ><Via

460 /><Info

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

462 ><Edge id="E3"

463 ><From

464 >2</From

465 ><PortFrom

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

467 ><To

468 >5</To

469 ><PortTo

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

471 ><Via

472 /><Info

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

474 ><Edge id="E4"

475 ><From

476 >2</From

477 ><PortFrom

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

479 ><To

480 >4</To

481 ><PortTo

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

483 ><Via

484 /><Info

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

486 ><RHS

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

488 ><Info

489 ><unit/></Info

490 ><Nodes

491 ><Node id="N3"

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

493 /><Name

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

495 ><LabelAbove

496 >True</LabelAbove

497 ><Shape

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

499 ><Info

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

501 ><Node id="N4"

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

503 /><Name

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

505 ><LabelAbove

506 >True</LabelAbove

507 ><Shape

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

509 ><Info

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

511 ><Node id="N5"

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

513 /><Name

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

515 ><LabelAbove

516 >True</LabelAbove

517 ><Shape

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

519 ><Info

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

521 ><Node id="N6"

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

523 /><Name

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

525 ><LabelAbove

526 >True</LabelAbove

527 ><Shape

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

529 ><Info

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

531 ><Node id="N7"

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

533 /><Name

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

535 ><LabelAbove

536 >True</LabelAbove

537 ><Shape

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

539 ><Info

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

541 ><Edges

542 ><Edge id="E1"

543 ><From

544 >6</From

545 ><PortFrom

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

547 ><To

548 >5</To

549 ><PortTo

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

551 ><Via

552 /><Info

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

554 ><Edge id="E2"

555 ><From

556 >6</From

557 ><PortFrom

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

559 ><To

560 >4</To

561 ><PortTo

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

563 ><Via

564 /><Info

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

566 ><Edge id="E3"

567 ><From

568 >3</From

569 ><PortFrom

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

571 ><To

572 >7</To

573 ><PortTo

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

575 ><Via

576 /><Info

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

578 ><Edge id="E4"

579 ><From

580 >7</From

581 ><PortFrom

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

583 ><To

584 >6</To

585 ><PortTo

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

587 ><Via

588 /><Info

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

590 ><Mapping

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

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

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

594 ><INRule

595 ><Name

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

597 ><LHS

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

599 ><Info

600 ><unit/></Info

601 ><Nodes

602 ><Node id="N1"

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

604 /><Name

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

606 ><LabelAbove

607 >True</LabelAbove

608 ><Shape

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

610 ><Info

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

612 ><Node id="N2"

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

614 /><Name

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

616 ><LabelAbove

617 >True</LabelAbove

618 ><Shape

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

620 ><Info

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

622 ><Node id="N3"

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

624 /><Name

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

626 ><LabelAbove

627 >True</LabelAbove

628 ><Shape

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

630 ><Info

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

632 ><Node id="N4"

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

634 /><Name

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

636 ><LabelAbove

637 >True</LabelAbove

638 ><Shape

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

640 ><Info

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

642 ><Node id="N5"

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

644 /><Name

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

646 ><LabelAbove

647 >True</LabelAbove

648 ><Shape

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

650 ><Info

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

652 ><Edges

653 ><Edge id="E1"

654 ><From

655 >1</From

656 ><PortFrom

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

658 ><To

659 >2</To

660 ><PortTo

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

662 ><Via

663 /><Info

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

665 ><Edge id="E2"

666 ><From

667 >1</From

668 ><PortFrom

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

670 ><To

671 >3</To

672 ><PortTo

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

674 ><Via

675 /><Info

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

677 ><Edge id="E3"

678 ><From

679 >2</From

680 ><PortFrom

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

682 ><To

683 >5</To

684 ><PortTo

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

686 ><Via

687 /><Info

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

689 ><Edge id="E4"

690 ><From

691 >2</From

692 ><PortFrom

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

694 ><To

695 >4</To

696 ><PortTo

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

698 ><Via

699 /><Info

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

701 ><RHS

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

703 ><Info

704 ><unit/></Info

705 ><Nodes

706 ><Node id="N3"

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

708 /><Name

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

710 ><LabelAbove

711 >True</LabelAbove

712 ><Shape

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

714 ><Info

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

716 ><Node id="N4"

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

718 /><Name

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

720 ><LabelAbove

721 >True</LabelAbove

722 ><Shape

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

724 ><Info

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

726 ><Node id="N5"

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

728 /><Name

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

730 ><LabelAbove

731 >True</LabelAbove

732 ><Shape

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

734 ><Info

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

736 ><Node id="N6"

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

738 /><Name

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

740 ><LabelAbove

741 >True</LabelAbove

742 ><Shape

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

744 ><Info

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

746 ><Node id="N7"

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

748 /><Name

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

750 ><LabelAbove

751 >True</LabelAbove

752 ><Shape

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

754 ><Info

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

756 ><Edges

757 ><Edge id="E1"

758 ><From

759 >3</From

760 ><PortFrom

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

762 ><To

763 >6</To

764 ><PortTo

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

766 ><Via

767 /><Info

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

769 ><Edge id="E2"

770 ><From

771 >6</From

772 ><PortFrom

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

774 ><To

775 >7</To

776 ><PortTo

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

778 ><Via

779 /><Info

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

781 ><Edge id="E3"

782 ><From

783 >7</From

784 ><PortFrom

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

786 ><To

787 >5</To

788 ><PortTo

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

790 ><Via

791 /><Info

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

793 ><Edge id="E4"

794 ><From

795 >6</From

796 ><PortFrom

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

798 ><To

799 >4</To

800 ><PortTo

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

802 ><Via

803 /><Info

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

805 ><Mapping

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

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

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

809 ><INRule

810 ><Name

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

812 ><LHS

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

814 ><Info

815 ><unit/></Info

816 ><Nodes

817 ><Node id="N1"

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

819 /><Name

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

821 ><LabelAbove

822 >True</LabelAbove

823 ><Shape

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

825 ><Info

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

827 ><Node id="N2"

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

829 /><Name

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

831 ><LabelAbove

832 >True</LabelAbove

833 ><Shape

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

835 ><Info

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

837 ><Node id="N3"

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

839 /><Name

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

841 ><LabelAbove

842 >True</LabelAbove

843 ><Shape

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

845 ><Info

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

847 ><Node id="N4"

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

849 /><Name

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

851 ><LabelAbove

852 >True</LabelAbove

853 ><Shape

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

855 ><Info

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

857 ><Node id="N5"

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

859 /><Name

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

861 ><LabelAbove

862 >True</LabelAbove

863 ><Shape

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

865 ><Info

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

867 ><Edges

868 ><Edge id="E1"

869 ><From

870 >1</From

871 ><PortFrom

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

873 ><To

874 >2</To

875 ><PortTo

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

877 ><Via

878 /><Info

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

880 ><Edge id="E2"

881 ><From

882 >1</From

883 ><PortFrom

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

885 ><To

886 >4</To

887 ><PortTo

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

889 ><Via

890 /><Info

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

892 ><Edge id="E3"

893 ><From

894 >1</From

895 ><PortFrom

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

897 ><To

898 >3</To

899 ><PortTo

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

901 ><Via

902 /><Info

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

904 ><Edge id="E4"

905 ><From

906 >2</From

907 ><PortFrom

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

909 ><To

910 >5</To

911 ><PortTo

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

913 ><Via

914 /><Info

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

916 ><RHS

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

918 ><Info

919 ><unit/></Info

920 ><Nodes

921 ><Node id="N3"

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

923 /><Name

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

925 ><LabelAbove

926 >True</LabelAbove

927 ><Shape

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

929 ><Info

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

931 ><Node id="N4"

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

933 /><Name

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

935 ><LabelAbove

936 >True</LabelAbove

937 ><Shape

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

939 ><Info

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

941 ><Node id="N5"

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

943 /><Name

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

945 ><LabelAbove

946 >True</LabelAbove

947 ><Shape

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

949 ><Info

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

951 ><Node id="N6"

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

953 /><Name

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

955 ><LabelAbove

956 >True</LabelAbove

957 ><Shape

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

959 ><Info

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

961 ><Node id="N7"

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

963 /><Name

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

965 ><LabelAbove

966 >True</LabelAbove

967 ><Shape

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

969 ><Info

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

971 ><Edges

972 ><Edge id="E1"

973 ><From

974 >4</From

975 ><PortFrom

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

977 ><To

978 >7</To

979 ><PortTo

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

981 ><Via

982 /><Info

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

984 ><Edge id="E2"

985 ><From

986 >5</From

987 ><PortFrom

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

989 ><To

990 >6</To

991 ><PortTo

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

993 ><Via

994 /><Info

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

996 ><Edge id="E3"

997 ><From

998 >6</From

999 ><PortFrom

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

1001 ><To

1002 >7</To

1003 ><PortTo

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

1005 ><Via

1006 /><Info

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

1008 ><Edge id="E4"

1009 ><From

1010 >3</From

1011 ><PortFrom

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

1013 ><To

1014 >6</To

1015 ><PortTo

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

1017 ><Via

1018 /><Info

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

1020 ><Mapping

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

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

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

1024 ><INRule

1025 ><Name

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

1027 ><LHS

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

1029 ><Info

1030 ><unit/></Info

1031 ><Nodes

1032 ><Node id="N1"

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

1034 /><Name

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

1036 ><LabelAbove

1037 >True</LabelAbove

1038 ><Shape

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

1040 ><Info

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

1042 ><Node id="N2"

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

1044 /><Name

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

1046 ><LabelAbove

1047 >True</LabelAbove

1048 ><Shape

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

1050 ><Info

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

1052 ><Node id="N3"

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

1054 /><Name

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

1056 ><LabelAbove

1057 >True</LabelAbove

1058 ><Shape

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

1060 ><Info

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

1062 ><Node id="N4"

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

1064 /><Name

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

1066 ><LabelAbove

1067 >True</LabelAbove

1068 ><Shape

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

1070 ><Info

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

1072 ><Node id="N5"

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

1074 /><Name

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

1076 ><LabelAbove

1077 >True</LabelAbove

1078 ><Shape

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

1080 ><Info

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

1082 ><Edges

1083 ><Edge id="E1"

1084 ><From

1085 >1</From

1086 ><PortFrom

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

1088 ><To

1089 >2</To

1090 ><PortTo

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

1092 ><Via

1093 /><Info

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

1095 ><Edge id="E2"

1096 ><From

1097 >1</From

1098 ><PortFrom

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

1100 ><To

1101 >4</To

1102 ><PortTo

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

1104 ><Via

1105 /><Info

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

1107 ><Edge id="E3"

1108 ><From

1109 >1</From

1110 ><PortFrom

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

1112 ><To

1113 >3</To

1114 ><PortTo

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

1116 ><Via

1117 /><Info

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

1119 ><Edge id="E4"

1120 ><From

1121 >2</From

1122 ><PortFrom

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

1124 ><To

1125 >5</To

1126 ><PortTo

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

1128 ><Via

1129 /><Info

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

1131 ><RHS

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

1133 ><Info

1134 ><unit/></Info

1135 ><Nodes

1136 ><Node id="N3"

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

1138 /><Name

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

1140 ><LabelAbove

1141 >True</LabelAbove

1142 ><Shape

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

1144 ><Info

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

1146 ><Node id="N4"

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

1148 /><Name

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

1150 ><LabelAbove

1151 >True</LabelAbove

1152 ><Shape

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

1154 ><Info

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

1156 ><Node id="N5"

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

1158 /><Name

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

1160 ><LabelAbove

1161 >True</LabelAbove

1162 ><Shape

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

1164 ><Info

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

1166 ><Node id="N6"

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

1168 /><Name

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

1170 ><LabelAbove

1171 >True</LabelAbove

1172 ><Shape

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

1174 ><Info

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

1176 ><Edges

1177 ><Edge id="E1"

1178 ><From

1179 >4</From

1180 ><PortFrom

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

1182 ><To

1183 >6</To

1184 ><PortTo

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

1186 ><Via

1187 /><Info

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

1189 ><Edge id="E2"

1190 ><From

1191 >6</From

1192 ><PortFrom

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

1194 ><To

1195 >3</To

1196 ><PortTo

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

1198 ><Via

1199 /><Info

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

1201 ><Edge id="E3"

1202 ><From

1203 >6</From

1204 ><PortFrom

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

1206 ><To

1207 >5</To

1208 ><PortTo

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

1210 ><Via

1211 /><Info

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

1213 ><Mapping

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

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

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

1217 ><INRule

1218 ><Name

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

1220 ><LHS

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

1222 ><Info

1223 ><unit/></Info

1224 ><Nodes

1225 ><Node id="N1"

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

1227 /><Name

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

1229 ><LabelAbove

1230 >True</LabelAbove

1231 ><Shape

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

1233 ><Info

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

1235 ><Node id="N2"

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

1237 /><Name

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

1239 ><LabelAbove

1240 >True</LabelAbove

1241 ><Shape

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

1243 ><Info

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

1245 ><Node id="N3"

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

1247 /><Name

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

1249 ><LabelAbove

1250 >True</LabelAbove

1251 ><Shape

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

1253 ><Info

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

1255 ><Node id="N4"

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

1257 /><Name

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

1259 ><LabelAbove

1260 >True</LabelAbove

1261 ><Shape

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

1263 ><Info

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

1265 ><Node id="N5"

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

1267 /><Name

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

1269 ><LabelAbove

1270 >True</LabelAbove

1271 ><Shape

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

1273 ><Info

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

1275 ><Node id="N6"

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

1277 /><Name

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

1279 ><LabelAbove

1280 >True</LabelAbove

1281 ><Shape

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

1283 ><Info

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

1285 ><Edges

1286 ><Edge id="E1"

1287 ><From

1288 >1</From

1289 ><PortFrom

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

1291 ><To

1292 >2</To

1293 ><PortTo

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

1295 ><Via

1296 /><Info

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

1298 ><Edge id="E2"

1299 ><From

1300 >1</From

1301 ><PortFrom

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

1303 ><To

1304 >4</To

1305 ><PortTo

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

1307 ><Via

1308 /><Info

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

1310 ><Edge id="E3"

1311 ><From

1312 >1</From

1313 ><PortFrom

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

1315 ><To

1316 >3</To

1317 ><PortTo

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

1319 ><Via

1320 /><Info

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

1322 ><Edge id="E4"

1323 ><From

1324 >2</From

1325 ><PortFrom

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

1327 ><To

1328 >6</To

1329 ><PortTo

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

1331 ><Via

1332 /><Info

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

1334 ><Edge id="E5"

1335 ><From

1336 >2</From

1337 ><PortFrom

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

1339 ><To

1340 >5</To

1341 ><PortTo

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

1343 ><Via

1344 /><Info

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

1346 ><RHS

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

1348 ><Info

1349 ><unit/></Info

1350 ><Nodes

1351 ><Node id="N3"

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

1353 /><Name

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

1355 ><LabelAbove

1356 >True</LabelAbove

1357 ><Shape

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

1359 ><Info

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

1361 ><Node id="N4"

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

1363 /><Name

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

1365 ><LabelAbove

1366 >True</LabelAbove

1367 ><Shape

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

1369 ><Info

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

1371 ><Node id="N5"

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

1373 /><Name

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

1375 ><LabelAbove

1376 >True</LabelAbove

1377 ><Shape

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

1379 ><Info

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

1381 ><Node id="N6"

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

1383 /><Name

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

1385 ><LabelAbove

1386 >True</LabelAbove

1387 ><Shape

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

1389 ><Info

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

1391 ><Node id="N7"

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

1393 /><Name

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

1395 ><LabelAbove

1396 >True</LabelAbove

1397 ><Shape

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

1399 ><Info

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

1401 ><Edges

1402 ><Edge id="E1"

1403 ><From

1404 >3</From

1405 ><PortFrom

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

1407 ><To

1408 >7</To

1409 ><PortTo

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

1411 ><Via

1412 /><Info

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

1414 ><Edge id="E2"

1415 ><From

1416 >5</From

1417 ><PortFrom

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

1419 ><To

1420 >7</To

1421 ><PortTo

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

1423 ><Via

1424 /><Info

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

1426 ><Edge id="E3"

1427 ><From

1428 >6</From

1429 ><PortFrom

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

1431 ><To

1432 >4</To

1433 ><PortTo

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

1435 ><Via

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

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

1438 ><Info

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

1440 ><Mapping

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

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

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

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

1445 ><INRule

1446 ><Name

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

1448 ><LHS

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

1450 ><Info

1451 ><unit/></Info

1452 ><Nodes

1453 ><Node id="N1"

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

1455 /><Name

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

1457 ><LabelAbove

1458 >True</LabelAbove

1459 ><Shape

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

1461 ><Info

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

1463 ><Node id="N2"

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

1465 /><Name

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

1467 ><LabelAbove

1468 >True</LabelAbove

1469 ><Shape

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

1471 ><Info

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

1473 ><Node id="N3"

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

1475 /><Name

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

1477 ><LabelAbove

1478 >True</LabelAbove

1479 ><Shape

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

1481 ><Info

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

1483 ><Node id="N4"

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

1485 /><Name

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

1487 ><LabelAbove

1488 >True</LabelAbove

1489 ><Shape

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

1491 ><Info

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

1493 ><Node id="N5"

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

1495 /><Name

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

1497 ><LabelAbove

1498 >True</LabelAbove

1499 ><Shape

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

1501 ><Info

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

1503 ><Node id="N6"

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

1505 /><Name

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

1507 ><LabelAbove

1508 >True</LabelAbove

1509 ><Shape

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

1511 ><Info

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

1513 ><Edges

1514 ><Edge id="E1"

1515 ><From

1516 >1</From

1517 ><PortFrom

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

1519 ><To

1520 >2</To

1521 ><PortTo

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

1523 ><Via

1524 /><Info

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

1526 ><Edge id="E2"

1527 ><From

1528 >1</From

1529 ><PortFrom

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

1531 ><To

1532 >4</To

1533 ><PortTo

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

1535 ><Via

1536 /><Info

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

1538 ><Edge id="E3"

1539 ><From

1540 >1</From

1541 ><PortFrom

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

1543 ><To

1544 >3</To

1545 ><PortTo

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

1547 ><Via

1548 /><Info

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

1550 ><Edge id="E4"

1551 ><From

1552 >2</From

1553 ><PortFrom

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

1555 ><To

1556 >6</To

1557 ><PortTo

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

1559 ><Via

1560 /><Info

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

1562 ><Edge id="E5"

1563 ><From

1564 >2</From

1565 ><PortFrom

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

1567 ><To

1568 >5</To

1569 ><PortTo

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

1571 ><Via

1572 /><Info

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

1574 ><RHS

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

1576 ><Info

1577 ><unit/></Info

1578 ><Nodes

1579 ><Node id="N3"

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

1581 /><Name

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

1583 ><LabelAbove

1584 >True</LabelAbove

1585 ><Shape

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

1587 ><Info

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

1589 ><Node id="N4"

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

1591 /><Name

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

1593 ><LabelAbove

1594 >True</LabelAbove

1595 ><Shape

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

1597 ><Info

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

1599 ><Node id="N5"

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

1601 /><Name

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

1603 ><LabelAbove

1604 >True</LabelAbove

1605 ><Shape

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

1607 ><Info

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

1609 ><Node id="N6"

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

1611 /><Name

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

1613 ><LabelAbove

1614 >True</LabelAbove

1615 ><Shape

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

1617 ><Info

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

1619 ><Node id="N7"

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

1621 /><Name

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

1623 ><LabelAbove

1624 >True</LabelAbove

1625 ><Shape

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

1627 ><Info

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

1629 ><Node id="N8"

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

1631 /><Name

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

1633 ><LabelAbove

1634 >True</LabelAbove

1635 ><Shape

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

1637 ><Info

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

1639 ><Node id="N9"

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

1641 /><Name

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

1643 ><LabelAbove

1644 >True</LabelAbove

1645 ><Shape

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

1647 ><Info

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

1649 ><Node id="N10"

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

1651 /><Name

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

1653 ><LabelAbove

1654 >True</LabelAbove

1655 ><Shape

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

1657 ><Info

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

1659 ><Edges

1660 ><Edge id="E1"

1661 ><From

1662 >3</From

1663 ><PortFrom

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

1665 ><To

1666 >7</To

1667 ><PortTo

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

1669 ><Via

1670 /><Info

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

1672 ><Edge id="E2"

1673 ><From

1674 >4</From

1675 ><PortFrom

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

1677 ><To

1678 >8</To

1679 ><PortTo

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

1681 ><Via

1682 /><Info

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

1684 ><Edge id="E3"

1685 ><From

1686 >10</From

1687 ><PortFrom

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

1689 ><To

1690 >5</To

1691 ><PortTo

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

1693 ><Via

1694 /><Info

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

1696 ><Edge id="E4"

1697 ><From

1698 >9</From

1699 ><PortFrom

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

1701 ><To

1702 >6</To

1703 ><PortTo

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

1705 ><Via

1706 /><Info

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

1708 ><Edge id="E5"

1709 ><From

1710 >7</From

1711 ><PortFrom

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

1713 ><To

1714 >10</To

1715 ><PortTo

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

1717 ><Via

1718 /><Info

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

1720 ><Edge id="E6"

1721 ><From

1722 >8</From

1723 ><PortFrom

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

1725 ><To

1726 >10</To

1727 ><PortTo

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

1729 ><Via

1730 /><Info

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

1732 ><Edge id="E7"

1733 ><From

1734 >7</From

1735 ><PortFrom

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

1737 ><To

1738 >9</To

1739 ><PortTo

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

1741 ><Via

1742 /><Info

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

1744 ><Edge id="E8"

1745 ><From

1746 >9</From

1747 ><PortFrom

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

1749 ><To

1750 >8</To

1751 ><PortTo

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

1753 ><Via

1754 /><Info

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

1756 ><Mapping

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

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

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

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

1761 ><INRule

1762 ><Name

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

1764 ><LHS

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

1766 ><Info

1767 ><unit/></Info

1768 ><Nodes

1769 ><Node id="N1"

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

1771 /><Name

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

1773 ><LabelAbove

1774 >True</LabelAbove

1775 ><Shape

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

1777 ><Info

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

1779 ><Node id="N2"

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

1781 /><Name

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

1783 ><LabelAbove

1784 >True</LabelAbove

1785 ><Shape

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

1787 ><Info

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

1789 ><Node id="N3"

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

1791 /><Name

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

1793 ><LabelAbove

1794 >True</LabelAbove

1795 ><Shape

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

1797 ><Info

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

1799 ><Node id="N4"

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

1801 /><Name

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

1803 ><LabelAbove

1804 >True</LabelAbove

1805 ><Shape

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

1807 ><Info

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

1809 ><Node id="N5"

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

1811 /><Name

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

1813 ><LabelAbove

1814 >True</LabelAbove

1815 ><Shape

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

1817 ><Info

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

1819 ><Node id="N6"

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

1821 /><Name

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

1823 ><LabelAbove

1824 >True</LabelAbove

1825 ><Shape

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

1827 ><Info

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

1829 ><Edges

1830 ><Edge id="E1"

1831 ><From

1832 >1</From

1833 ><PortFrom

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

1835 ><To

1836 >2</To

1837 ><PortTo

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

1839 ><Via

1840 /><Info

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

1842 ><Edge id="E2"

1843 ><From

1844 >1</From

1845 ><PortFrom

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

1847 ><To

1848 >4</To

1849 ><PortTo

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

1851 ><Via

1852 /><Info

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

1854 ><Edge id="E3"

1855 ><From

1856 >1</From

1857 ><PortFrom

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

1859 ><To

1860 >3</To

1861 ><PortTo

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

1863 ><Via

1864 /><Info

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

1866 ><Edge id="E4"

1867 ><From

1868 >2</From

1869 ><PortFrom

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

1871 ><To

1872 >6</To

1873 ><PortTo

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

1875 ><Via

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

1877 ><Info

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

1879 ><Edge id="E5"

1880 ><From

1881 >2</From

1882 ><PortFrom

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

1884 ><To

1885 >5</To

1886 ><PortTo

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

1888 ><Via

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

1890 ><Info

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

1892 ><RHS

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

1894 ><Info

1895 ><unit/></Info

1896 ><Nodes

1897 ><Node id="N3"

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

1899 /><Name

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

1901 ><LabelAbove

1902 >True</LabelAbove

1903 ><Shape

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

1905 ><Info

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

1907 ><Node id="N4"

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

1909 /><Name

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

1911 ><LabelAbove

1912 >True</LabelAbove

1913 ><Shape

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

1915 ><Info

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

1917 ><Node id="N5"

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

1919 /><Name

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

1921 ><LabelAbove

1922 >True</LabelAbove

1923 ><Shape

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

1925 ><Info

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

1927 ><Node id="N6"

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

1929 /><Name

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

1931 ><LabelAbove

1932 >True</LabelAbove

1933 ><Shape

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

1935 ><Info

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

1937 ><Edges

1938 ><Edge id="E1"

1939 ><From

1940 >3</From

1941 ><PortFrom

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

1943 ><To

1944 >5</To

1945 ><PortTo

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

1947 ><Via

1948 /><Info

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

1950 ><Edge id="E2"

1951 ><From

1952 >6</From

1953 ><PortFrom

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

1955 ><To

1956 >4</To

1957 ><PortTo

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

1959 ><Via

1960 /><Info

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

1962 ><Mapping

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

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

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

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

1967 ><INRule

1968 ><Name

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

1970 ><LHS

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

1972 ><Info

1973 ><unit/></Info

1974 ><Nodes

1975 ><Node id="N1"

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

1977 /><Name

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

1979 ><LabelAbove

1980 >True</LabelAbove

1981 ><Shape

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

1983 ><Info

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

1985 ><Node id="N2"

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

1987 /><Name

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

1989 ><LabelAbove

1990 >True</LabelAbove

1991 ><Shape

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

1993 ><Info

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

1995 ><Node id="N3"

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

1997 /><Name

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

1999 ><LabelAbove

2000 >True</LabelAbove

2001 ><Shape

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

2003 ><Info

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

2005 ><Node id="N4"

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

2007 /><Name

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

2009 ><LabelAbove

2010 >True</LabelAbove

2011 ><Shape

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

2013 ><Info

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

2015 ><Edges

2016 ><Edge id="E1"

2017 ><From

2018 >1</From

2019 ><PortFrom

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

2021 ><To

2022 >2</To

2023 ><PortTo

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

2025 ><Via

2026 /><Info

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

2028 ><Edge id="E2"

2029 ><From

2030 >2</From

2031 ><PortFrom

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

2033 ><To

2034 >4</To

2035 ><PortTo

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

2037 ><Via

2038 /><Info

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

2040 ><Edge id="E3"

2041 ><From

2042 >2</From

2043 ><PortFrom

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

2045 ><To

2046 >3</To

2047 ><PortTo

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

2049 ><Via

2050 /><Info

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

2052 ><RHS

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

2054 ><Info

2055 ><unit/></Info

2056 ><Nodes

2057 ><Node id="N3"

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

2059 /><Name

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

2061 ><LabelAbove

2062 >True</LabelAbove

2063 ><Shape

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

2065 ><Info

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

2067 ><Node id="N4"

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

2069 /><Name

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

2071 ><LabelAbove

2072 >True</LabelAbove

2073 ><Shape

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

2075 ><Info

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

2077 ><Node id="N5"

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

2079 /><Name

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

2081 ><LabelAbove

2082 >True</LabelAbove

2083 ><Shape

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

2085 ><Info

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

2087 ><Node id="N6"

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

2089 /><Name

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

2091 ><LabelAbove

2092 >True</LabelAbove

2093 ><Shape

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

2095 ><Info

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

2097 ><Edges

2098 ><Edge id="E1"

2099 ><From

2100 >5</From

2101 ><PortFrom

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

2103 ><To

2104 >4</To

2105 ><PortTo

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

2107 ><Via

2108 /><Info

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

2110 ><Edge id="E2"

2111 ><From

2112 >6</From

2113 ><PortFrom

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

2115 ><To

2116 >3</To

2117 ><PortTo

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

2119 ><Via

2120 /><Info

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

2122 ><Mapping

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

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

2125 ><INRule

2126 ><Name

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

2128 ><LHS

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

2130 ><Info

2131 ><unit/></Info

2132 ><Nodes

2133 ><Node id="N1"

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

2135 /><Name

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

2137 ><LabelAbove

2138 >True</LabelAbove

2139 ><Shape

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

2141 ><Info

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

2143 ><Node id="N2"

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

2145 /><Name

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

2147 ><LabelAbove

2148 >True</LabelAbove

2149 ><Shape

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

2151 ><Info

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

2153 ><Node id="N3"

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

2155 /><Name

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

2157 ><LabelAbove

2158 >True</LabelAbove

2159 ><Shape

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

2161 ><Info

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

2163 ><Node id="N4"

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

2165 /><Name

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

2167 ><LabelAbove

2168 >True</LabelAbove

2169 ><Shape

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

2171 ><Info

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

2173 ><Edges

2174 ><Edge id="E1"

2175 ><From

2176 >1</From

2177 ><PortFrom

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

2179 ><To

2180 >2</To

2181 ><PortTo

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

2183 ><Via

2184 /><Info

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

2186 ><Edge id="E2"

2187 ><From

2188 >2</From

2189 ><PortFrom

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

2191 ><To

2192 >4</To

2193 ><PortTo

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

2195 ><Via

2196 /><Info

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

2198 ><Edge id="E3"

2199 ><From

2200 >2</From

2201 ><PortFrom

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

2203 ><To

2204 >3</To

2205 ><PortTo

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

2207 ><Via

2208 /><Info

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

2210 ><RHS

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

2212 ><Info

2213 ><unit/></Info

2214 ><Nodes

2215 ><Node id="N3"

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

2217 /><Name

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

2219 ><LabelAbove

2220 >True</LabelAbove

2221 ><Shape

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

2223 ><Info

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

2225 ><Node id="N4"

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

2227 /><Name

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

2229 ><LabelAbove

2230 >True</LabelAbove

2231 ><Shape

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

2233 ><Info

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

2235 ><Node id="N5"

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

2237 /><Name

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

2239 ><LabelAbove

2240 >True</LabelAbove

2241 ><Shape

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

2243 ><Info

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

2245 ><Node id="N6"

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

2247 /><Name

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

2249 ><LabelAbove

2250 >True</LabelAbove

2251 ><Shape

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

2253 ><Info

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

2255 ><Edges

2256 ><Edge id="E1"

2257 ><From

2258 >5</From

2259 ><PortFrom

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

2261 ><To

2262 >3</To

2263 ><PortTo

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

2265 ><Via

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

2267 ><Info

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

2269 ><Edge id="E2"

2270 ><From

2271 >6</From

2272 ><PortFrom

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

2274 ><To

2275 >4</To

2276 ><PortTo

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

2278 ><Via

2279 /><Info

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

2281 ><Mapping

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

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

2284 ><INRule

2285 ><Name

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

2287 ><LHS

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

2289 ><Info

2290 ><unit/></Info

2291 ><Nodes

2292 ><Node id="N1"

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

2294 /><Name

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

2296 ><LabelAbove

2297 >True</LabelAbove

2298 ><Shape

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

2300 ><Info

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

2302 ><Node id="N2"

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

2304 /><Name

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

2306 ><LabelAbove

2307 >True</LabelAbove

2308 ><Shape

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

2310 ><Info

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

2312 ><Node id="N3"

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

2314 /><Name

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

2316 ><LabelAbove

2317 >True</LabelAbove

2318 ><Shape

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

2320 ><Info

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

2322 ><Edges

2323 ><Edge id="E1"

2324 ><From

2325 >1</From

2326 ><PortFrom

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

2328 ><To

2329 >2</To

2330 ><PortTo

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

2332 ><Via

2333 /><Info

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

2335 ><Edge id="E2"

2336 ><From

2337 >2</From

2338 ><PortFrom

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

2340 ><To

2341 >3</To

2342 ><PortTo

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

2344 ><Via

2345 /><Info

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

2347 ><RHS

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

2349 ><Info

2350 ><unit/></Info

2351 ><Nodes

2352 ><Node id="N3"

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

2354 /><Name

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

2356 ><LabelAbove

2357 >True</LabelAbove

2358 ><Shape

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

2360 ><Info

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

2362 ><Node id="N4"

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

2364 /><Name

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

2366 ><LabelAbove

2367 >True</LabelAbove

2368 ><Shape

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

2370 ><Info

2371 ><list-int/></Info></Node></Nodes

2372 ><Edges

2373 ><Edge id="E1"

2374 ><From

2375 >4</From

2376 ><PortFrom

2377 ><![CDATA[down]]></PortFrom

2378 ><To

2379 >3</To

2380 ><PortTo

2381 ><![CDATA[interface]]></PortTo

2382 ><Via

2383 ><Position X="3.9952083333333337" Y="2.328333333333333"/></Via

2384 ><Info

2385 ><list-int/></Info></Edge></Edges></Network></RHS

2386 ><Mapping

2387 ><MappingElement lhs="3" rhs="3"/></Mapping></INRule

2388 ><INRule

2389 ><Name

2390 ><![CDATA[Erase_EvaluatorReturning]]></Name

2391 ><LHS

2392 ><Network Width="15.0" Height="9.0"

2393 ><Info

2394 ><unit/></Info

2395 ><Nodes

2396 ><Node id="N1"

2397 ><Position X="2.0" Y="2.0"

2398 /><Name

2399 ><![CDATA[Node 1]]></Name

2400 ><LabelAbove

2401 >True</LabelAbove

2402 ><Shape

2403 ><![CDATA[Erase]]></Shape

2404 ><Info

2405 ><list-int/></Info></Node

2406 ><Node id="N2"

2407 ><Position X="2.0" Y="4.0"

2408 /><Name

2409 ><![CDATA[Node 2]]></Name

2410 ><LabelAbove

2411 >True</LabelAbove

2412 ><Shape

2413 ><![CDATA[evalReturn]]></Shape

2414 ><Info

2415 ><list-int/></Info></Node

2416 ><Node id="N3"

2417 ><Position X="2.008125" Y="5.6587499999999995"

2418 /><Name

2419 ><![CDATA[Node 3]]></Name

2420 ><LabelAbove

2421 >True</LabelAbove

2422 ><Shape

2423 ><![CDATA[interface]]></Shape

2424 ><Info

2425 ><list-int/></Info></Node></Nodes

2426 ><Edges

2427 ><Edge id="E1"

2428 ><From

2429 >1</From

2430 ><PortFrom

2431 ><![CDATA[down]]></PortFrom

2432 ><To

2433 >2</To

2434 ><PortTo

2435 ><![CDATA[res]]></PortTo

2436 ><Via

2437 /><Info

2438 ><list-int/></Info></Edge

2439 ><Edge id="E2"

2440 ><From

2441 >2</From

2442 ><PortFrom

2443 ><![CDATA[arg]]></PortFrom

2444 ><To

2445 >3</To

2446 ><PortTo

2447 ><![CDATA[interface]]></PortTo

2448 ><Via

2449 /><Info

2450 ><list-int/></Info></Edge></Edges></Network></LHS

2451 ><RHS

2452 ><Network Width="15.0" Height="9.0"

2453 ><Info

2454 ><unit/></Info

2455 ><Nodes

2456 ><Node id="N3"

2457 ><Position X="2.008125" Y="5.6587499999999995"

2458 /><Name

2459 ><![CDATA[Node 3]]></Name

2460 ><LabelAbove

2461 >True</LabelAbove

2462 ><Shape

2463 ><![CDATA[interface]]></Shape

2464 ><Info

2465 ><list-int/></Info></Node

2466 ><Node id="N4"

2467 ><Position X="2.0108333333333333" Y="3.624791666666667"

2468 /><Name

2469 ><![CDATA[Node 4]]></Name

2470 ><LabelAbove

2471 >True</LabelAbove

2472 ><Shape

2473 ><![CDATA[Erase]]></Shape

2474 ><Info

2475 ><list-int/></Info></Node></Nodes

2476 ><Edges

2477 ><Edge id="E1"

2478 ><From

2479 >4</From

2480 ><PortFrom

2481 ><![CDATA[down]]></PortFrom

2482 ><To

2483 >3</To

2484 ><PortTo

2485 ><![CDATA[interface]]></PortTo

2486 ><Via

2487 /><Info

2488 ><list-int/></Info></Edge></Edges></Network></RHS

2489 ><Mapping

2490 ><MappingElement lhs="3" rhs="3"/></Mapping></INRule

2491 ><INRule

2492 ><Name

2493 ><![CDATA[Erase_preApplication]]></Name

2494 ><LHS

2495 ><Network Width="15.0" Height="9.0"

2496 ><Info

2497 ><unit/></Info

2498 ><Nodes

2499 ><Node id="N1"

2500 ><Position X="2.0" Y="2.0"

2501 /><Name

2502 ><![CDATA[Node 1]]></Name

2503 ><LabelAbove

2504 >True</LabelAbove

2505 ><Shape

2506 ><![CDATA[Erase]]></Shape

2507 ><Info

2508 ><list-int/></Info></Node

2509 ><Node id="N2"

2510 ><Position X="2.0" Y="4.0"

2511 /><Name

2512 ><![CDATA[Node 2]]></Name

2513 ><LabelAbove

2514 >True</LabelAbove

2515 ><Shape

2516 ><![CDATA[beforeApplication]]></Shape

2517 ><Info

2518 ><list-int/></Info></Node

2519 ><Node id="N3"

2520 ><Position X="2.4843750000000004" Y="5.473541666666668"

2521 /><Name

2522 ><![CDATA[Node 3]]></Name

2523 ><LabelAbove

2524 >True</LabelAbove

2525 ><Shape

2526 ><![CDATA[interface]]></Shape

2527 ><Info

2528 ><list-int/></Info></Node

2529 ><Node id="N4"

2530 ><Position X="1.5" Y="5.5"

2531 /><Name

2532 ><![CDATA[Node 4]]></Name

2533 ><LabelAbove

2534 >True</LabelAbove

2535 ><Shape

2536 ><![CDATA[interface]]></Shape

2537 ><Info

2538 ><list-int/></Info></Node></Nodes

2539 ><Edges

2540 ><Edge id="E1"

2541 ><From

2542 >1</From

2543 ><PortFrom

2544 ><![CDATA[down]]></PortFrom

2545 ><To

2546 >2</To

2547 ><PortTo

2548 ><![CDATA[res]]></PortTo

2549 ><Via

2550 /><Info

2551 ><list-int/></Info></Edge

2552 ><Edge id="E2"

2553 ><From

2554 >2</From

2555 ><PortFrom

2556 ><![CDATA[func]]></PortFrom

2557 ><To

2558 >4</To

2559 ><PortTo

2560 ><![CDATA[interface]]></PortTo

2561 ><Via

2562 /><Info

2563 ><list-int/></Info></Edge

2564 ><Edge id="E3"

2565 ><From

2566 >2</From

2567 ><PortFrom

2568 ><![CDATA[arg]]></PortFrom

2569 ><To

2570 >3</To

2571 ><PortTo

2572 ><![CDATA[interface]]></PortTo

2573 ><Via

2574 /><Info

2575 ><list-int/></Info></Edge></Edges></Network></LHS

2576 ><RHS

2577 ><Network Width="15.0" Height="9.0"

2578 ><Info

2579 ><unit/></Info

2580 ><Nodes

2581 ><Node id="N3"

2582 ><Position X="2.4843750000000004" Y="5.473541666666668"

2583 /><Name

2584 ><![CDATA[Node 3]]></Name

2585 ><LabelAbove

2586 >True</LabelAbove

2587 ><Shape

2588 ><![CDATA[interface]]></Shape

2589 ><Info

2590 ><list-int/></Info></Node

2591 ><Node id="N4"

2592 ><Position X="1.5" Y="5.5"

2593 /><Name

2594 ><![CDATA[Node 4]]></Name

2595 ><LabelAbove

2596 >True</LabelAbove

2597 ><Shape

2598 ><![CDATA[interface]]></Shape

2599 ><Info

2600 ><list-int/></Info></Node

2601 ><Node id="N5"

2602 ><Position X="1.3229166666666667" Y="3.5983333333333336"

2603 /><Name

2604 ><![CDATA[Node 5]]></Name

2605 ><LabelAbove

2606 >True</LabelAbove

2607 ><Shape

2608 ><![CDATA[Erase]]></Shape

2609 ><Info

2610 ><list-int/></Info></Node

2611 ><Node id="N6"

2612 ><Position X="2.8045833333333334" Y="3.5718750000000004"

2613 /><Name

2614 ><![CDATA[Node 6]]></Name

2615 ><LabelAbove

2616 >True</LabelAbove

2617 ><Shape

2618 ><![CDATA[Erase]]></Shape

2619 ><Info

2620 ><list-int/></Info></Node></Nodes

2621 ><Edges

2622 ><Edge id="E1"

2623 ><From

2624 >5</From

2625 ><PortFrom

2626 ><![CDATA[down]]></PortFrom

2627 ><To

2628 >4</To

2629 ><PortTo

2630 ><![CDATA[interface]]></PortTo

2631 ><Via

2632 /><Info

2633 ><list-int/></Info></Edge

2634 ><Edge id="E2"

2635 ><From

2636 >6</From

2637 ><PortFrom

2638 ><![CDATA[down]]></PortFrom

2639 ><To

2640 >3</To

2641 ><PortTo

2642 ><![CDATA[interface]]></PortTo

2643 ><Via

2644 /><Info

2645 ><list-int/></Info></Edge></Edges></Network></RHS

2646 ><Mapping

2647 ><MappingElement lhs="3" rhs="3"

2648 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

2649 ><INRule

2650 ><Name

2651 ><![CDATA[Erase_Copy]]></Name

2652 ><LHS

2653 ><Network Width="15.0" Height="9.0"

2654 ><Info

2655 ><unit/></Info

2656 ><Nodes

2657 ><Node id="N1"

2658 ><Position X="2.0" Y="2.0"

2659 /><Name

2660 ><![CDATA[Node 1]]></Name

2661 ><LabelAbove

2662 >True</LabelAbove

2663 ><Shape

2664 ><![CDATA[Erase]]></Shape

2665 ><Info

2666 ><list-int/></Info></Node

2667 ><Node id="N2"

2668 ><Position X="4.0529166666666665" Y="2.211666666666667"

2669 /><Name

2670 ><![CDATA[Node 2]]></Name

2671 ><LabelAbove

2672 >True</LabelAbove

2673 ><Shape

2674 ><![CDATA[copy]]></Shape

2675 ><Info

2676 ><list-int/></Info></Node

2677 ><Node id="N3"

2678 ><Position X="3.4104166666666673" Y="0.8174999999999999"

2679 /><Name

2680 ><![CDATA[Node 3]]></Name

2681 ><LabelAbove

2682 >True</LabelAbove

2683 ><Shape

2684 ><![CDATA[interface]]></Shape

2685 ><Info

2686 ><list-int/></Info></Node

2687 ><Node id="N4"

2688 ><Position X="4.860208333333334" Y="0.8175000000000001"

2689 /><Name

2690 ><![CDATA[Node 4]]></Name

2691 ><LabelAbove

2692 >True</LabelAbove

2693 ><Shape

2694 ><![CDATA[interface]]></Shape

2695 ><Info

2696 ><list-int/></Info></Node></Nodes

2697 ><Edges

2698 ><Edge id="E1"

2699 ><From

2700 >1</From

2701 ><PortFrom

2702 ><![CDATA[down]]></PortFrom

2703 ><To

2704 >2</To

2705 ><PortTo

2706 ><![CDATA[src]]></PortTo

2707 ><Via

2708 /><Info

2709 ><list-int/></Info></Edge

2710 ><Edge id="E2"

2711 ><From

2712 >2</From

2713 ><PortFrom

2714 ><![CDATA[snd_target]]></PortFrom

2715 ><To

2716 >4</To

2717 ><PortTo

2718 ><![CDATA[interface]]></PortTo

2719 ><Via

2720 /><Info

2721 ><list-int/></Info></Edge

2722 ><Edge id="E3"

2723 ><From

2724 >2</From

2725 ><PortFrom

2726 ><![CDATA[fst_target]]></PortFrom

2727 ><To

2728 >3</To

2729 ><PortTo

2730 ><![CDATA[interface]]></PortTo

2731 ><Via

2732 /><Info

2733 ><list-int/></Info></Edge></Edges></Network></LHS

2734 ><RHS

2735 ><Network Width="15.0" Height="9.0"

2736 ><Info

2737 ><unit/></Info

2738 ><Nodes

2739 ><Node id="N3"

2740 ><Position X="3.4104166666666673" Y="0.8174999999999999"

2741 /><Name

2742 ><![CDATA[Node 3]]></Name

2743 ><LabelAbove

2744 >True</LabelAbove

2745 ><Shape

2746 ><![CDATA[interface]]></Shape

2747 ><Info

2748 ><list-int/></Info></Node

2749 ><Node id="N4"

2750 ><Position X="4.860208333333334" Y="0.8175000000000001"

2751 /><Name

2752 ><![CDATA[Node 4]]></Name

2753 ><LabelAbove

2754 >True</LabelAbove

2755 ><Shape

2756 ><![CDATA[interface]]></Shape

2757 ><Info

2758 ><list-int/></Info></Node

2759 ><Node id="N5"

2760 ><Position X="2.354791666666667" Y="2.672291666666667"

2761 /><Name

2762 ><![CDATA[Node 5]]></Name

2763 ><LabelAbove

2764 >True</LabelAbove

2765 ><Shape

2766 ><![CDATA[Erase]]></Shape

2767 ><Info

2768 ><list-int/></Info></Node

2769 ><Node id="N6"

2770 ><Position X="6.164791666666667" Y="2.6722916666666667"

2771 /><Name

2772 ><![CDATA[Node 6]]></Name

2773 ><LabelAbove

2774 >True</LabelAbove

2775 ><Shape

2776 ><![CDATA[Erase]]></Shape

2777 ><Info

2778 ><list-int/></Info></Node></Nodes

2779 ><Edges

2780 ><Edge id="E1"

2781 ><From

2782 >5</From

2783 ><PortFrom

2784 ><![CDATA[down]]></PortFrom

2785 ><To

2786 >3</To

2787 ><PortTo

2788 ><![CDATA[interface]]></PortTo

2789 ><Via

2790 ><Position X="3.3866666666666667" Y="3.148541666666667"/></Via

2791 ><Info

2792 ><list-int/></Info></Edge

2793 ><Edge id="E2"

2794 ><From

2795 >6</From

2796 ><PortFrom

2797 ><![CDATA[down]]></PortFrom

2798 ><To

2799 >4</To

2800 ><PortTo

2801 ><![CDATA[interface]]></PortTo

2802 ><Via

2803 ><Position X="4.841875000000001" Y="3.175"/></Via

2804 ><Info

2805 ><list-int/></Info></Edge></Edges></Network></RHS

2806 ><Mapping

2807 ><MappingElement lhs="3" rhs="3"

2808 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

2809 ><INRule

2810 ><Name

2811 ><![CDATA[Erase_Duplicator]]></Name

2812 ><LHS

2813 ><Network Width="15.0" Height="9.0"

2814 ><Info

2815 ><unit/></Info

2816 ><Nodes

2817 ><Node id="N1"

2818 ><Position X="2.0" Y="2.0"

2819 /><Name

2820 ><![CDATA[Node 1]]></Name

2821 ><LabelAbove

2822 >True</LabelAbove

2823 ><Shape

2824 ><![CDATA[Erase]]></Shape

2825 ><Info

2826 ><list-int/></Info></Node

2827 ><Node id="N2"

2828 ><Position X="4.0" Y="2.0"

2829 /><Name

2830 ><![CDATA[Node 2]]></Name

2831 ><LabelAbove

2832 >True</LabelAbove

2833 ><Shape

2834 ><![CDATA[duplicator]]></Shape

2835 ><Info

2836 ><list-int/></Info></Node

2837 ><Node id="N3"

2838 ><Position X="2.8283333333333336" Y="0.6058333333333332"

2839 /><Name

2840 ><![CDATA[Node 3]]></Name

2841 ><LabelAbove

2842 >True</LabelAbove

2843 ><Shape

2844 ><![CDATA[interface]]></Shape

2845 ><Info

2846 ><list-int/></Info></Node

2847 ><Node id="N4"

2848 ><Position X="5.124791666666667" Y="0.6322916666666667"

2849 /><Name

2850 ><![CDATA[Node 4]]></Name

2851 ><LabelAbove

2852 >True</LabelAbove

2853 ><Shape

2854 ><![CDATA[interface]]></Shape

2855 ><Info

2856 ><list-int/></Info></Node></Nodes

2857 ><Edges

2858 ><Edge id="E1"

2859 ><From

2860 >1</From

2861 ><PortFrom

2862 ><![CDATA[down]]></PortFrom

2863 ><To

2864 >2</To

2865 ><PortTo

2866 ><![CDATA[down]]></PortTo

2867 ><Via

2868 /><Info

2869 ><list-int/></Info></Edge

2870 ><Edge id="E2"

2871 ><From

2872 >2</From

2873 ><PortFrom

2874 ><![CDATA[copy2]]></PortFrom

2875 ><To

2876 >4</To

2877 ><PortTo

2878 ><![CDATA[interface]]></PortTo

2879 ><Via

2880 /><Info

2881 ><list-int/></Info></Edge

2882 ><Edge id="E3"

2883 ><From

2884 >2</From

2885 ><PortFrom

2886 ><![CDATA[copy1]]></PortFrom

2887 ><To

2888 >3</To

2889 ><PortTo

2890 ><![CDATA[interface]]></PortTo

2891 ><Via

2892 /><Info

2893 ><list-int/></Info></Edge></Edges></Network></LHS

2894 ><RHS

2895 ><Network Width="15.0" Height="9.0"

2896 ><Info

2897 ><unit/></Info

2898 ><Nodes

2899 ><Node id="N3"

2900 ><Position X="2.8283333333333336" Y="0.6058333333333332"

2901 /><Name

2902 ><![CDATA[Node 3]]></Name

2903 ><LabelAbove

2904 >True</LabelAbove

2905 ><Shape

2906 ><![CDATA[interface]]></Shape

2907 ><Info

2908 ><list-int/></Info></Node

2909 ><Node id="N4"

2910 ><Position X="5.124791666666667" Y="0.6322916666666667"

2911 /><Name

2912 ><![CDATA[Node 4]]></Name

2913 ><LabelAbove

2914 >True</LabelAbove

2915 ><Shape

2916 ><![CDATA[interface]]></Shape

2917 ><Info

2918 ><list-int/></Info></Node

2919 ><Node id="N5"

2920 ><Position X="1.508125" Y="2.3283333333333336"

2921 /><Name

2922 ><![CDATA[Node 5]]></Name

2923 ><LabelAbove

2924 >True</LabelAbove

2925 ><Shape

2926 ><![CDATA[Erase]]></Shape

2927 ><Info

2928 ><list-int/></Info></Node

2929 ><Node id="N6"

2930 ><Position X="6.588125000000001" Y="2.3283333333333336"

2931 /><Name

2932 ><![CDATA[Node 6]]></Name

2933 ><LabelAbove

2934 >True</LabelAbove

2935 ><Shape

2936 ><![CDATA[Erase]]></Shape

2937 ><Info

2938 ><list-int/></Info></Node></Nodes

2939 ><Edges

2940 ><Edge id="E1"

2941 ><From

2942 >3</From

2943 ><PortFrom

2944 ><![CDATA[interface]]></PortFrom

2945 ><To

2946 >5</To

2947 ><PortTo

2948 ><![CDATA[down]]></PortTo

2949 ><Via

2950 ><Position X="2.804583333333334" Y="2.8045833333333334"/></Via

2951 ><Info

2952 ><list-int/></Info></Edge

2953 ><Edge id="E2"

2954 ><From

2955 >4</From

2956 ><PortFrom

2957 ><![CDATA[interface]]></PortFrom

2958 ><To

2959 >6</To

2960 ><PortTo

2961 ><![CDATA[down]]></PortTo

2962 ><Via

2963 ><Position X="5.106458333333333" Y="2.8045833333333334"/></Via

2964 ><Info

2965 ><list-int/></Info></Edge></Edges></Network></RHS

2966 ><Mapping

2967 ><MappingElement lhs="3" rhs="3"

2968 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

2969 ><INRule

2970 ><Name

2971 ><![CDATA[Erase_Erase]]></Name

2972 ><LHS

2973 ><Network Width="15.0" Height="9.0"

2974 ><Info

2975 ><unit/></Info

2976 ><Nodes

2977 ><Node id="N1"

2978 ><Position X="2.0" Y="2.0"

2979 /><Name

2980 ><![CDATA[Node 1]]></Name

2981 ><LabelAbove

2982 >True</LabelAbove

2983 ><Shape

2984 ><![CDATA[Erase]]></Shape

2985 ><Info

2986 ><list-int/></Info></Node

2987 ><Node id="N2"

2988 ><Position X="4.0" Y="2.0"

2989 /><Name

2990 ><![CDATA[Node 2]]></Name

2991 ><LabelAbove

2992 >True</LabelAbove

2993 ><Shape

2994 ><![CDATA[Erase]]></Shape

2995 ><Info

2996 ><list-int/></Info></Node></Nodes

2997 ><Edges

2998 ><Edge id="E1"

2999 ><From

3000 >1</From

3001 ><PortFrom

3002 ><![CDATA[down]]></PortFrom

3003 ><To

3004 >2</To

3005 ><PortTo

3006 ><![CDATA[down]]></PortTo

3007 ><Via

3008 /><Info

3009 ><list-int/></Info></Edge></Edges></Network></LHS

3010 ><RHS

3011 ><Network Width="15.0" Height="9.0"

3012 ><Info

3013 ><unit/></Info

3014 ><Nodes

3015 /><Edges/></Network></RHS

3016 ><Mapping/></INRule

3017 ><INRule

3018 ><Name

3019 ><![CDATA[Copy_Application]]></Name

3020 ><LHS

3021 ><Network Width="15.0" Height="9.0"

3022 ><Info

3023 ><unit/></Info

3024 ><Nodes

3025 ><Node id="N1"

3026 ><Position X="2.0" Y="2.0"

3027 /><Name

3028 ><![CDATA[Node 1]]></Name

3029 ><LabelAbove

3030 >True</LabelAbove

3031 ><Shape

3032 ><![CDATA[copy]]></Shape

3033 ><Info

3034 ><list-int/></Info></Node

3035 ><Node id="N2"

3036 ><Position X="3.6560416666666664" Y="2.88875"

3037 /><Name

3038 ><![CDATA[Node 2]]></Name

3039 ><LabelAbove

3040 >True</LabelAbove

3041 ><Shape

3042 ><![CDATA[application]]></Shape

3043 ><Info

3044 ><list-int/></Info></Node

3045 ><Node id="N3"

3046 ><Position X="1.5583333333333336" Y="0.5264583333333334"

3047 /><Name

3048 ><![CDATA[Node 3]]></Name

3049 ><LabelAbove

3050 >True</LabelAbove

3051 ><Shape

3052 ><![CDATA[interface]]></Shape

3053 ><Info

3054 ><list-int/></Info></Node

3055 ><Node id="N4"

3056 ><Position X="2.5318750000000003" Y="0.5529166666666667"

3057 /><Name

3058 ><![CDATA[Node 4]]></Name

3059 ><LabelAbove

3060 >True</LabelAbove

3061 ><Shape

3062 ><![CDATA[interface]]></Shape

3063 ><Info

3064 ><list-int/></Info></Node

3065 ><Node id="N5"

3066 ><Position X="2.6587500000000004" Y="5.130208333333333"

3067 /><Name

3068 ><![CDATA[Node 5]]></Name

3069 ><LabelAbove

3070 >True</LabelAbove

3071 ><Shape

3072 ><![CDATA[interface]]></Shape

3073 ><Info

3074 ><list-int/></Info></Node

3075 ><Node id="N6"

3076 ><Position X="3.9660416666666674" Y="5.1295833333333345"

3077 /><Name

3078 ><![CDATA[Node 6]]></Name

3079 ><LabelAbove

3080 >True</LabelAbove

3081 ><Shape

3082 ><![CDATA[interface]]></Shape

3083 ><Info

3084 ><list-int/></Info></Node></Nodes

3085 ><Edges

3086 ><Edge id="E1"

3087 ><From

3088 >1</From

3089 ><PortFrom

3090 ><![CDATA[src]]></PortFrom

3091 ><To

3092 >2</To

3093 ><PortTo

3094 ><![CDATA[func]]></PortTo

3095 ><Via

3096 ><Position X="1.9843750000000009" Y="3.1750000000000003"/></Via

3097 ><Info

3098 ><list-int/></Info></Edge

3099 ><Edge id="E2"

3100 ><From

3101 >1</From

3102 ><PortFrom

3103 ><![CDATA[snd_target]]></PortFrom

3104 ><To

3105 >4</To

3106 ><PortTo

3107 ><![CDATA[interface]]></PortTo

3108 ><Via

3109 /><Info

3110 ><list-int/></Info></Edge

3111 ><Edge id="E3"

3112 ><From

3113 >1</From

3114 ><PortFrom

3115 ><![CDATA[fst_target]]></PortFrom

3116 ><To

3117 >3</To

3118 ><PortTo

3119 ><![CDATA[interface]]></PortTo

3120 ><Via

3121 /><Info

3122 ><list-int/></Info></Edge

3123 ><Edge id="E4"

3124 ><From

3125 >2</From

3126 ><PortFrom

3127 ><![CDATA[arg]]></PortFrom

3128 ><To

3129 >6</To

3130 ><PortTo

3131 ><![CDATA[interface]]></PortTo

3132 ><Via

3133 /><Info

3134 ><list-int/></Info></Edge

3135 ><Edge id="E5"

3136 ><From

3137 >2</From

3138 ><PortFrom

3139 ><![CDATA[res]]></PortFrom

3140 ><To

3141 >5</To

3142 ><PortTo

3143 ><![CDATA[interface]]></PortTo

3144 ><Via

3145 ><Position X="2.6458333333333335" Y="2.513541666666667"/></Via

3146 ><Info

3147 ><list-int/></Info></Edge></Edges></Network></LHS

3148 ><RHS

3149 ><Network Width="15.0" Height="9.0"

3150 ><Info

3151 ><unit/></Info

3152 ><Nodes

3153 ><Node id="N3"

3154 ><Position X="1.5583333333333336" Y="0.5264583333333334"

3155 /><Name

3156 ><![CDATA[Node 3]]></Name

3157 ><LabelAbove

3158 >True</LabelAbove

3159 ><Shape

3160 ><![CDATA[interface]]></Shape

3161 ><Info

3162 ><list-int/></Info></Node

3163 ><Node id="N4"

3164 ><Position X="4.913125" Y="0.3677083333333333"

3165 /><Name

3166 ><![CDATA[Node 4]]></Name

3167 ><LabelAbove

3168 >True</LabelAbove

3169 ><Shape

3170 ><![CDATA[interface]]></Shape

3171 ><Info

3172 ><list-int/></Info></Node

3173 ><Node id="N5"

3174 ><Position X="3.0291666666666663" Y="5.050833333333333"

3175 /><Name

3176 ><![CDATA[Node 5]]></Name

3177 ><LabelAbove

3178 >True</LabelAbove

3179 ><Shape

3180 ><![CDATA[interface]]></Shape

3181 ><Info

3182 ><list-int/></Info></Node

3183 ><Node id="N6"

3184 ><Position X="6.05625" Y="4.997291666666667"

3185 /><Name

3186 ><![CDATA[Node 6]]></Name

3187 ><LabelAbove

3188 >True</LabelAbove

3189 ><Shape

3190 ><![CDATA[interface]]></Shape

3191 ><Info

3192 ><list-int/></Info></Node

3193 ><Node id="N7"

3194 ><Position X="6.058958333333335" Y="3.810000000000001"

3195 /><Name

3196 ><![CDATA[Node 7]]></Name

3197 ><LabelAbove

3198 >True</LabelAbove

3199 ><Shape

3200 ><![CDATA[copy]]></Shape

3201 ><Info

3202 ><list-int/></Info></Node

3203 ><Node id="N8"

3204 ><Position X="3.0427083333333336" Y="3.8364583333333333"

3205 /><Name

3206 ><![CDATA[Node 8]]></Name

3207 ><LabelAbove

3208 >True</LabelAbove

3209 ><Shape

3210 ><![CDATA[copy]]></Shape

3211 ><Info

3212 ><list-int/></Info></Node

3213 ><Node id="N9"

3214 ><Position X="2.7781250000000006" Y="1.6933333333333338"

3215 /><Name

3216 ><![CDATA[Node 9]]></Name

3217 ><LabelAbove

3218 >True</LabelAbove

3219 ><Shape

3220 ><![CDATA[application]]></Shape

3221 ><Info

3222 ><list-int/></Info></Node

3223 ><Node id="N10"

3224 ><Position X="6.058958333333334" Y="1.7197916666666666"

3225 /><Name

3226 ><![CDATA[Node 10]]></Name

3227 ><LabelAbove

3228 >True</LabelAbove

3229 ><Shape

3230 ><![CDATA[application]]></Shape

3231 ><Info

3232 ><list-int/></Info></Node></Nodes

3233 ><Edges

3234 ><Edge id="E1"

3235 ><From

3236 >9</From

3237 ><PortFrom

3238 ><![CDATA[func]]></PortFrom

3239 ><To

3240 >3</To

3241 ><PortTo

3242 ><![CDATA[interface]]></PortTo

3243 ><Via

3244 ><Position X="1.5345833333333332" Y="1.9843750000000004"/></Via

3245 ><Info

3246 ><list-int/></Info></Edge

3247 ><Edge id="E2"

3248 ><From

3249 >10</From

3250 ><PortFrom

3251 ><![CDATA[func]]></PortFrom

3252 ><To

3253 >4</To

3254 ><PortTo

3255 ><![CDATA[interface]]></PortTo

3256 ><Via

3257 ><Position X="4.894791666666666" Y="2.0108333333333333"/></Via

3258 ><Info

3259 ><list-int/></Info></Edge

3260 ><Edge id="E3"

3261 ><From

3262 >7</From

3263 ><PortFrom

3264 ><![CDATA[src]]></PortFrom

3265 ><To

3266 >6</To

3267 ><PortTo

3268 ><![CDATA[interface]]></PortTo

3269 ><Via

3270 /><Info

3271 ><list-int/></Info></Edge

3272 ><Edge id="E4"

3273 ><From

3274 >8</From

3275 ><PortFrom

3276 ><![CDATA[src]]></PortFrom

3277 ><To

3278 >5</To

3279 ><PortTo

3280 ><![CDATA[interface]]></PortTo

3281 ><Via

3282 /><Info

3283 ><list-int/></Info></Edge

3284 ><Edge id="E5"

3285 ><From

3286 >10</From

3287 ><PortFrom

3288 ><![CDATA[res]]></PortFrom

3289 ><To

3290 >8</To

3291 ><PortTo

3292 ><![CDATA[snd_target]]></PortTo

3293 ><Via

3294 ><Position X="4.339166666666666" Y="1.3758333333333332"/></Via

3295 ><Info

3296 ><list-int/></Info></Edge

3297 ><Edge id="E6"

3298 ><From

3299 >9</From

3300 ><PortFrom

3301 ><![CDATA[res]]></PortFrom

3302 ><To

3303 >8</To

3304 ><PortTo

3305 ><![CDATA[fst_target]]></PortTo

3306 ><Via

3307 ><Position X="1.9314583333333337" Y="1.349375"

3308 /><Position X="1.9314583333333337" Y="3.5189583333333334"/></Via

3309 ><Info

3310 ><list-int/></Info></Edge

3311 ><Edge id="E7"

3312 ><From

3313 >9</From

3314 ><PortFrom

3315 ><![CDATA[arg]]></PortFrom

3316 ><To

3317 >7</To

3318 ><PortTo

3319 ><![CDATA[fst_target]]></PortTo

3320 ><Via

3321 /><Info

3322 ><list-int/></Info></Edge

3323 ><Edge id="E8"

3324 ><From

3325 >10</From

3326 ><PortFrom

3327 ><![CDATA[arg]]></PortFrom

3328 ><To

3329 >7</To

3330 ><PortTo

3331 ><![CDATA[snd_target]]></PortTo

3332 ><Via

3333 /><Info

3334 ><list-int/></Info></Edge></Edges></Network></RHS

3335 ><Mapping

3336 ><MappingElement lhs="3" rhs="3"

3337 /><MappingElement lhs="4" rhs="4"

3338 /><MappingElement lhs="5" rhs="5"

3339 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

3340 ><INRule

3341 ><Name

3342 ><![CDATA[Copy_Evaluator]]></Name

3343 ><LHS

3344 ><Network Width="15.0" Height="9.0"

3345 ><Info

3346 ><unit/></Info

3347 ><Nodes

3348 ><Node id="N1"

3349 ><Position X="2.0" Y="2.0"

3350 /><Name

3351 ><![CDATA[Node 1]]></Name

3352 ><LabelAbove

3353 >True</LabelAbove

3354 ><Shape

3355 ><![CDATA[copy]]></Shape

3356 ><Info

3357 ><list-int/></Info></Node

3358 ><Node id="N2"

3359 ><Position X="4.026458333333333" Y="1.7883333333333333"

3360 /><Name

3361 ><![CDATA[Node 2]]></Name

3362 ><LabelAbove

3363 >True</LabelAbove

3364 ><Shape

3365 ><![CDATA[evaluation]]></Shape

3366 ><Info

3367 ><list-int/></Info></Node

3368 ><Node id="N3"

3369 ><Position X="1.4789583333333334" Y="0.6058333333333333"

3370 /><Name

3371 ><![CDATA[Node 3]]></Name

3372 ><LabelAbove

3373 >True</LabelAbove

3374 ><Shape

3375 ><![CDATA[interface]]></Shape

3376 ><Info

3377 ><list-int/></Info></Node

3378 ><Node id="N4"

3379 ><Position X="2.5583333333333336" Y="0.6322916666666667"

3380 /><Name

3381 ><![CDATA[Node 4]]></Name

3382 ><LabelAbove

3383 >True</LabelAbove

3384 ><Shape

3385 ><![CDATA[interface]]></Shape

3386 ><Info

3387 ><list-int/></Info></Node

3388 ><Node id="N5"

3389 ><Position X="6.045416666666667" Y="1.0291666666666668"

3390 /><Name

3391 ><![CDATA[Node 5]]></Name

3392 ><LabelAbove

3393 >True</LabelAbove

3394 ><Shape

3395 ><![CDATA[interface]]></Shape

3396 ><Info

3397 ><list-int/></Info></Node></Nodes

3398 ><Edges

3399 ><Edge id="E1"

3400 ><From

3401 >1</From

3402 ><PortFrom

3403 ><![CDATA[src]]></PortFrom

3404 ><To

3405 >2</To

3406 ><PortTo

3407 ><![CDATA[arg]]></PortTo

3408 ><Via

3409 /><Info

3410 ><list-int/></Info></Edge

3411 ><Edge id="E2"

3412 ><From

3413 >1</From

3414 ><PortFrom

3415 ><![CDATA[snd_target]]></PortFrom

3416 ><To

3417 >4</To

3418 ><PortTo

3419 ><![CDATA[interface]]></PortTo

3420 ><Via

3421 /><Info

3422 ><list-int/></Info></Edge

3423 ><Edge id="E3"

3424 ><From

3425 >1</From

3426 ><PortFrom

3427 ><![CDATA[fst_target]]></PortFrom

3428 ><To

3429 >3</To

3430 ><PortTo

3431 ><![CDATA[interface]]></PortTo

3432 ><Via

3433 /><Info

3434 ><list-int/></Info></Edge

3435 ><Edge id="E4"

3436 ><From

3437 >2</From

3438 ><PortFrom

3439 ><![CDATA[res]]></PortFrom

3440 ><To

3441 >5</To

3442 ><PortTo

3443 ><![CDATA[interface]]></PortTo

3444 ><Via

3445 /><Info

3446 ><list-int/></Info></Edge></Edges></Network></LHS

3447 ><RHS

3448 ><Network Width="15.0" Height="9.0"

3449 ><Info

3450 ><unit/></Info

3451 ><Nodes

3452 ><Node id="N3"

3453 ><Position X="1.9816666666666665" Y="0.6322916666666668"

3454 /><Name

3455 ><![CDATA[Node 3]]></Name

3456 ><LabelAbove

3457 >True</LabelAbove

3458 ><Shape

3459 ><![CDATA[interface]]></Shape

3460 ><Info

3461 ><list-int/></Info></Node

3462 ><Node id="N4"

3463 ><Position X="5.945" Y="0.6852083333333334"

3464 /><Name

3465 ><![CDATA[Node 4]]></Name

3466 ><LabelAbove

3467 >True</LabelAbove

3468 ><Shape

3469 ><![CDATA[interface]]></Shape

3470 ><Info

3471 ><list-int/></Info></Node

3472 ><Node id="N5"

3473 ><Position X="3.822916666666667" Y="5.262500000000001"

3474 /><Name

3475 ><![CDATA[Node 5]]></Name

3476 ><LabelAbove

3477 >True</LabelAbove

3478 ><Shape

3479 ><![CDATA[interface]]></Shape

3480 ><Info

3481 ><list-int/></Info></Node

3482 ><Node id="N6"

3483 ><Position X="3.8364583333333337" Y="3.571875"

3484 /><Name

3485 ><![CDATA[Node 6]]></Name

3486 ><LabelAbove

3487 >True</LabelAbove

3488 ><Shape

3489 ><![CDATA[copy]]></Shape

3490 ><Info

3491 ><list-int/></Info></Node

3492 ><Node id="N7"

3493 ><Position X="2.831041666666667" Y="2.407708333333333"

3494 /><Name

3495 ><![CDATA[Node 7]]></Name

3496 ><LabelAbove

3497 >True</LabelAbove

3498 ><Shape

3499 ><![CDATA[evaluation]]></Shape

3500 ><Info

3501 ><list-int/></Info></Node

3502 ><Node id="N8"

3503 ><Position X="5.000625" Y="2.407708333333333"

3504 /><Name

3505 ><![CDATA[Node 8]]></Name

3506 ><LabelAbove

3507 >True</LabelAbove

3508 ><Shape

3509 ><![CDATA[evaluation]]></Shape

3510 ><Info

3511 ><list-int/></Info></Node></Nodes

3512 ><Edges

3513 ><Edge id="E1"

3514 ><From

3515 >7</From

3516 ><PortFrom

3517 ><![CDATA[arg]]></PortFrom

3518 ><To

3519 >3</To

3520 ><PortTo

3521 ><![CDATA[interface]]></PortTo

3522 ><Via

3523 ><Position X="1.9579166666666667" Y="2.8839583333333336"/></Via

3524 ><Info

3525 ><list-int/></Info></Edge

3526 ><Edge id="E2"

3527 ><From

3528 >8</From

3529 ><PortFrom

3530 ><![CDATA[arg]]></PortFrom

3531 ><To

3532 >4</To

3533 ><PortTo

3534 ><![CDATA[interface]]></PortTo

3535 ><Via

3536 ><Position X="5.926666666666668" Y="2.8839583333333336"/></Via

3537 ><Info

3538 ><list-int/></Info></Edge

3539 ><Edge id="E3"

3540 ><From

3541 >6</From

3542 ><PortFrom

3543 ><![CDATA[src]]></PortFrom

3544 ><To

3545 >5</To

3546 ><PortTo

3547 ><![CDATA[interface]]></PortTo

3548 ><Via

3549 /><Info

3550 ><list-int/></Info></Edge

3551 ><Edge id="E4"

3552 ><From

3553 >6</From

3554 ><PortFrom

3555 ><![CDATA[fst_target]]></PortFrom

3556 ><To

3557 >7</To

3558 ><PortTo

3559 ><![CDATA[res]]></PortTo

3560 ><Via

3561 ><Position X="3.5189583333333334" Y="1.905"/></Via

3562 ><Info

3563 ><list-int/></Info></Edge

3564 ><Edge id="E5"

3565 ><From

3566 >6</From

3567 ><PortFrom

3568 ><![CDATA[snd_target]]></PortFrom

3569 ><To

3570 >8</To

3571 ><PortTo

3572 ><![CDATA[res]]></PortTo

3573 ><Via

3574 ><Position X="4.1275" Y="1.9050000000000002"/></Via

3575 ><Info

3576 ><list-int/></Info></Edge></Edges></Network></RHS

3577 ><Mapping

3578 ><MappingElement lhs="3" rhs="3"

3579 /><MappingElement lhs="4" rhs="4"

3580 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

3581 ><INRule

3582 ><Name

3583 ><![CDATA[Copy_EvaluatorReturning]]></Name

3584 ><LHS

3585 ><Network Width="15.0" Height="9.0"

3586 ><Info

3587 ><unit/></Info

3588 ><Nodes

3589 ><Node id="N1"

3590 ><Position X="2.0" Y="2.0"

3591 /><Name

3592 ><![CDATA[Node 1]]></Name

3593 ><LabelAbove

3594 >True</LabelAbove

3595 ><Shape

3596 ><![CDATA[copy]]></Shape

3597 ><Info

3598 ><list-int/></Info></Node

3599 ><Node id="N2"

3600 ><Position X="2.0" Y="4.0"

3601 /><Name

3602 ><![CDATA[Node 2]]></Name

3603 ><LabelAbove

3604 >True</LabelAbove

3605 ><Shape

3606 ><![CDATA[evalReturn]]></Shape

3607 ><Info

3608 ><list-int/></Info></Node

3609 ><Node id="N3"

3610 ><Position X="1.5054166666666666" Y="0.579375"

3611 /><Name

3612 ><![CDATA[Node 3]]></Name

3613 ><LabelAbove

3614 >True</LabelAbove

3615 ><Shape

3616 ><![CDATA[interface]]></Shape

3617 ><Info

3618 ><list-int/></Info></Node

3619 ><Node id="N4"

3620 ><Position X="2.5583333333333336" Y="0.579375"

3621 /><Name

3622 ><![CDATA[Node 4]]></Name

3623 ><LabelAbove

3624 >True</LabelAbove

3625 ><Shape

3626 ><![CDATA[interface]]></Shape

3627 ><Info

3628 ><list-int/></Info></Node

3629 ><Node id="N5"

3630 ><Position X="2.008125" Y="5.605833333333333"

3631 /><Name

3632 ><![CDATA[Node 5]]></Name

3633 ><LabelAbove

3634 >True</LabelAbove

3635 ><Shape

3636 ><![CDATA[interface]]></Shape

3637 ><Info

3638 ><list-int/></Info></Node></Nodes

3639 ><Edges

3640 ><Edge id="E1"

3641 ><From

3642 >1</From

3643 ><PortFrom

3644 ><![CDATA[src]]></PortFrom

3645 ><To

3646 >2</To

3647 ><PortTo

3648 ><![CDATA[res]]></PortTo

3649 ><Via

3650 /><Info

3651 ><list-int/></Info></Edge

3652 ><Edge id="E2"

3653 ><From

3654 >1</From

3655 ><PortFrom

3656 ><![CDATA[snd_target]]></PortFrom

3657 ><To

3658 >4</To

3659 ><PortTo

3660 ><![CDATA[interface]]></PortTo

3661 ><Via

3662 /><Info

3663 ><list-int/></Info></Edge

3664 ><Edge id="E3"

3665 ><From

3666 >1</From

3667 ><PortFrom

3668 ><![CDATA[fst_target]]></PortFrom

3669 ><To

3670 >3</To

3671 ><PortTo

3672 ><![CDATA[interface]]></PortTo

3673 ><Via

3674 /><Info

3675 ><list-int/></Info></Edge

3676 ><Edge id="E4"

3677 ><From

3678 >2</From

3679 ><PortFrom

3680 ><![CDATA[arg]]></PortFrom

3681 ><To

3682 >5</To

3683 ><PortTo

3684 ><![CDATA[interface]]></PortTo

3685 ><Via

3686 /><Info

3687 ><list-int/></Info></Edge></Edges></Network></LHS

3688 ><RHS

3689 ><Network Width="15.0" Height="9.0"

3690 ><Info

3691 ><unit/></Info

3692 ><Nodes

3693 ><Node id="N3"

3694 ><Position X="1.5054166666666666" Y="0.6058333333333333"

3695 /><Name

3696 ><![CDATA[Node 3]]></Name

3697 ><LabelAbove

3698 >True</LabelAbove

3699 ><Shape

3700 ><![CDATA[interface]]></Shape

3701 ><Info

3702 ><list-int/></Info></Node

3703 ><Node id="N4"

3704 ><Position X="2.5583333333333336" Y="0.579375"

3705 /><Name

3706 ><![CDATA[Node 4]]></Name

3707 ><LabelAbove

3708 >True</LabelAbove

3709 ><Shape

3710 ><![CDATA[interface]]></Shape

3711 ><Info

3712 ><list-int/></Info></Node

3713 ><Node id="N5"

3714 ><Position X="2.008125" Y="5.605833333333333"

3715 /><Name

3716 ><![CDATA[Node 5]]></Name

3717 ><LabelAbove

3718 >True</LabelAbove

3719 ><Shape

3720 ><![CDATA[interface]]></Shape

3721 ><Info

3722 ><list-int/></Info></Node

3723 ><Node id="N6"

3724 ><Position X="2.0108333333333333" Y="4.101041666666667"

3725 /><Name

3726 ><![CDATA[Node 6]]></Name

3727 ><LabelAbove

3728 >True</LabelAbove

3729 ><Shape

3730 ><![CDATA[copy]]></Shape

3731 ><Info

3732 ><list-int/></Info></Node

3733 ><Node id="N7"

3734 ><Position X="1.349375" Y="2.301875"

3735 /><Name

3736 ><![CDATA[Node 7]]></Name

3737 ><LabelAbove

3738 >True</LabelAbove

3739 ><Shape

3740 ><![CDATA[evalReturn]]></Shape

3741 ><Info

3742 ><list-int/></Info></Node

3743 ><Node id="N8"

3744 ><Position X="2.751666666666667" Y="2.3018750000000003"

3745 /><Name

3746 ><![CDATA[Node 8]]></Name

3747 ><LabelAbove

3748 >True</LabelAbove

3749 ><Shape

3750 ><![CDATA[evalReturn]]></Shape

3751 ><Info

3752 ><list-int/></Info></Node></Nodes

3753 ><Edges

3754 ><Edge id="E1"

3755 ><From

3756 >6</From

3757 ><PortFrom

3758 ><![CDATA[src]]></PortFrom

3759 ><To

3760 >5</To

3761 ><PortTo

3762 ><![CDATA[interface]]></PortTo

3763 ><Via

3764 /><Info

3765 ><list-int/></Info></Edge

3766 ><Edge id="E2"

3767 ><From

3768 >3</From

3769 ><PortFrom

3770 ><![CDATA[interface]]></PortFrom

3771 ><To

3772 >7</To

3773 ><PortTo

3774 ><![CDATA[res]]></PortTo

3775 ><Via

3776 /><Info

3777 ><list-int/></Info></Edge

3778 ><Edge id="E3"

3779 ><From

3780 >4</From

3781 ><PortFrom

3782 ><![CDATA[interface]]></PortFrom

3783 ><To

3784 >8</To

3785 ><PortTo

3786 ><![CDATA[res]]></PortTo

3787 ><Via

3788 /><Info

3789 ><list-int/></Info></Edge

3790 ><Edge id="E4"

3791 ><From

3792 >7</From

3793 ><PortFrom

3794 ><![CDATA[arg]]></PortFrom

3795 ><To

3796 >6</To

3797 ><PortTo

3798 ><![CDATA[fst_target]]></PortTo

3799 ><Via

3800 /><Info

3801 ><list-int/></Info></Edge

3802 ><Edge id="E5"

3803 ><From

3804 >8</From

3805 ><PortFrom

3806 ><![CDATA[arg]]></PortFrom

3807 ><To

3808 >6</To

3809 ><PortTo

3810 ><![CDATA[snd_target]]></PortTo

3811 ><Via

3812 /><Info

3813 ><list-int/></Info></Edge></Edges></Network></RHS

3814 ><Mapping

3815 ><MappingElement lhs="3" rhs="3"

3816 /><MappingElement lhs="4" rhs="4"

3817 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

3818 ><INRule

3819 ><Name

3820 ><![CDATA[Copy_preApplication]]></Name

3821 ><LHS

3822 ><Network Width="15.0" Height="9.0"

3823 ><Info

3824 ><unit/></Info

3825 ><Nodes

3826 ><Node id="N1"

3827 ><Position X="2.0" Y="2.0"

3828 /><Name

3829 ><![CDATA[Node 1]]></Name

3830 ><LabelAbove

3831 >True</LabelAbove

3832 ><Shape

3833 ><![CDATA[copy]]></Shape

3834 ><Info

3835 ><list-int/></Info></Node

3836 ><Node id="N2"

3837 ><Position X="2.0" Y="4.0"

3838 /><Name

3839 ><![CDATA[Node 2]]></Name

3840 ><LabelAbove

3841 >True</LabelAbove

3842 ><Shape

3843 ><![CDATA[beforeApplication]]></Shape

3844 ><Info

3845 ><list-int/></Info></Node

3846 ><Node id="N3"

3847 ><Position X="1.1614583333333335" Y="0.5264583333333334"

3848 /><Name

3849 ><![CDATA[Node 3]]></Name

3850 ><LabelAbove

3851 >True</LabelAbove

3852 ><Shape

3853 ><![CDATA[interface]]></Shape

3854 ><Info

3855 ><list-int/></Info></Node

3856 ><Node id="N4"

3857 ><Position X="2.9022916666666667" Y="0.579375"

3858 /><Name

3859 ><![CDATA[Node 4]]></Name

3860 ><LabelAbove

3861 >True</LabelAbove

3862 ><Shape

3863 ><![CDATA[interface]]></Shape

3864 ><Info

3865 ><list-int/></Info></Node

3866 ><Node id="N5"

3867 ><Position X="2.616666666666667" Y="5.420625"

3868 /><Name

3869 ><![CDATA[Node 5]]></Name

3870 ><LabelAbove

3871 >True</LabelAbove

3872 ><Shape

3873 ><![CDATA[interface]]></Shape

3874 ><Info

3875 ><list-int/></Info></Node

3876 ><Node id="N6"

3877 ><Position X="1.5" Y="5.5"

3878 /><Name

3879 ><![CDATA[Node 6]]></Name

3880 ><LabelAbove

3881 >True</LabelAbove

3882 ><Shape

3883 ><![CDATA[interface]]></Shape

3884 ><Info

3885 ><list-int/></Info></Node></Nodes

3886 ><Edges

3887 ><Edge id="E1"

3888 ><From

3889 >1</From

3890 ><PortFrom

3891 ><![CDATA[src]]></PortFrom

3892 ><To

3893 >2</To

3894 ><PortTo

3895 ><![CDATA[res]]></PortTo

3896 ><Via

3897 /><Info

3898 ><list-int/></Info></Edge

3899 ><Edge id="E2"

3900 ><From

3901 >1</From

3902 ><PortFrom

3903 ><![CDATA[snd_target]]></PortFrom

3904 ><To

3905 >4</To

3906 ><PortTo

3907 ><![CDATA[interface]]></PortTo

3908 ><Via

3909 /><Info

3910 ><list-int/></Info></Edge

3911 ><Edge id="E3"

3912 ><From

3913 >1</From

3914 ><PortFrom

3915 ><![CDATA[fst_target]]></PortFrom

3916 ><To

3917 >3</To

3918 ><PortTo

3919 ><![CDATA[interface]]></PortTo

3920 ><Via

3921 /><Info

3922 ><list-int/></Info></Edge

3923 ><Edge id="E4"

3924 ><From

3925 >2</From

3926 ><PortFrom

3927 ><![CDATA[func]]></PortFrom

3928 ><To

3929 >6</To

3930 ><PortTo

3931 ><![CDATA[interface]]></PortTo

3932 ><Via

3933 /><Info

3934 ><list-int/></Info></Edge

3935 ><Edge id="E5"

3936 ><From

3937 >2</From

3938 ><PortFrom

3939 ><![CDATA[arg]]></PortFrom

3940 ><To

3941 >5</To

3942 ><PortTo

3943 ><![CDATA[interface]]></PortTo

3944 ><Via

3945 /><Info

3946 ><list-int/></Info></Edge></Edges></Network></LHS

3947 ><RHS

3948 ><Network Width="15.0" Height="9.0"

3949 ><Info

3950 ><unit/></Info

3951 ><Nodes

3952 ><Node id="N3"

3953 ><Position X="0.8704166666666667" Y="0.5264583333333334"

3954 /><Name

3955 ><![CDATA[Node 3]]></Name

3956 ><LabelAbove

3957 >True</LabelAbove

3958 ><Shape

3959 ><![CDATA[interface]]></Shape

3960 ><Info

3961 ><list-int/></Info></Node

3962 ><Node id="N4"

3963 ><Position X="2.214374999999999" Y="0.5529166666666667"

3964 /><Name

3965 ><![CDATA[Node 4]]></Name

3966 ><LabelAbove

3967 >True</LabelAbove

3968 ><Shape

3969 ><![CDATA[interface]]></Shape

3970 ><Info

3971 ><list-int/></Info></Node

3972 ><Node id="N5"

3973 ><Position X="0.8439583333333335" Y="5.526458333333333"

3974 /><Name

3975 ><![CDATA[Node 5]]></Name

3976 ><LabelAbove

3977 >True</LabelAbove

3978 ><Shape

3979 ><![CDATA[interface]]></Shape

3980 ><Info

3981 ><list-int/></Info></Node

3982 ><Node id="N6"

3983 ><Position X="2.187916666666666" Y="5.5529166666666665"

3984 /><Name

3985 ><![CDATA[Node 6]]></Name

3986 ><LabelAbove

3987 >True</LabelAbove

3988 ><Shape

3989 ><![CDATA[interface]]></Shape

3990 ><Info

3991 ><list-int/></Info></Node

3992 ><Node id="N7"

3993 ><Position X="0.8466666666666668" Y="1.9314583333333335"

3994 /><Name

3995 ><![CDATA[Node 7]]></Name

3996 ><LabelAbove

3997 >True</LabelAbove

3998 ><Shape

3999 ><![CDATA[beforeApplication]]></Shape

4000 ><Info

4001 ><list-int/></Info></Node

4002 ><Node id="N8"

4003 ><Position X="2.1960416666666664" Y="1.9314583333333335"

4004 /><Name

4005 ><![CDATA[Node 8]]></Name

4006 ><LabelAbove

4007 >True</LabelAbove

4008 ><Shape

4009 ><![CDATA[beforeApplication]]></Shape

4010 ><Info

4011 ><list-int/></Info></Node

4012 ><Node id="N9"

4013 ><Position X="0.846666666666667" Y="4.312708333333333"

4014 /><Name

4015 ><![CDATA[Node 9]]></Name

4016 ><LabelAbove

4017 >True</LabelAbove

4018 ><Shape

4019 ><![CDATA[copy]]></Shape

4020 ><Info

4021 ><list-int/></Info></Node

4022 ><Node id="N10"

4023 ><Position X="2.1960416666666664" Y="4.339166666666667"

4024 /><Name

4025 ><![CDATA[Node 10]]></Name

4026 ><LabelAbove

4027 >True</LabelAbove

4028 ><Shape

4029 ><![CDATA[copy]]></Shape

4030 ><Info

4031 ><list-int/></Info></Node></Nodes

4032 ><Edges

4033 ><Edge id="E1"

4034 ><From

4035 >9</From

4036 ><PortFrom

4037 ><![CDATA[src]]></PortFrom

4038 ><To

4039 >5</To

4040 ><PortTo

4041 ><![CDATA[interface]]></PortTo

4042 ><Via

4043 /><Info

4044 ><list-int/></Info></Edge

4045 ><Edge id="E2"

4046 ><From

4047 >10</From

4048 ><PortFrom

4049 ><![CDATA[src]]></PortFrom

4050 ><To

4051 >6</To

4052 ><PortTo

4053 ><![CDATA[interface]]></PortTo

4054 ><Via

4055 /><Info

4056 ><list-int/></Info></Edge

4057 ><Edge id="E3"

4058 ><From

4059 >3</From

4060 ><PortFrom

4061 ><![CDATA[interface]]></PortFrom

4062 ><To

4063 >7</To

4064 ><PortTo

4065 ><![CDATA[res]]></PortTo

4066 ><Via

4067 /><Info

4068 ><list-int/></Info></Edge

4069 ><Edge id="E4"

4070 ><From

4071 >4</From

4072 ><PortFrom

4073 ><![CDATA[interface]]></PortFrom

4074 ><To

4075 >8</To

4076 ><PortTo

4077 ><![CDATA[res]]></PortTo

4078 ><Via

4079 /><Info

4080 ><list-int/></Info></Edge

4081 ><Edge id="E5"

4082 ><From

4083 >7</From

4084 ><PortFrom

4085 ><![CDATA[func]]></PortFrom

4086 ><To

4087 >9</To

4088 ><PortTo

4089 ><![CDATA[fst_target]]></PortTo

4090 ><Via

4091 /><Info

4092 ><list-int/></Info></Edge

4093 ><Edge id="E6"

4094 ><From

4095 >8</From

4096 ><PortFrom

4097 ><![CDATA[arg]]></PortFrom

4098 ><To

4099 >10</To

4100 ><PortTo

4101 ><![CDATA[snd_target]]></PortTo

4102 ><Via

4103 /><Info

4104 ><list-int/></Info></Edge

4105 ><Edge id="E7"

4106 ><From

4107 >7</From

4108 ><PortFrom

4109 ><![CDATA[arg]]></PortFrom

4110 ><To

4111 >10</To

4112 ><PortTo

4113 ><![CDATA[fst_target]]></PortTo

4114 ><Via

4115 /><Info

4116 ><list-int/></Info></Edge

4117 ><Edge id="E8"

4118 ><From

4119 >8</From

4120 ><PortFrom

4121 ><![CDATA[func]]></PortFrom

4122 ><To

4123 >9</To

4124 ><PortTo

4125 ><![CDATA[snd_target]]></PortTo

4126 ><Via

4127 /><Info

4128 ><list-int/></Info></Edge></Edges></Network></RHS

4129 ><Mapping

4130 ><MappingElement lhs="3" rhs="3"

4131 /><MappingElement lhs="4" rhs="4"

4132 /><MappingElement lhs="5" rhs="6"

4133 /><MappingElement lhs="6" rhs="5"/></Mapping></INRule

4134 ><INRule

4135 ><Name

4136 ><![CDATA[Copy_Duplicator]]></Name

4137 ><LHS

4138 ><Network Width="15.0" Height="9.0"

4139 ><Info

4140 ><unit/></Info

4141 ><Nodes

4142 ><Node id="N1"

4143 ><Position X="2.0" Y="2.0"

4144 /><Name

4145 ><![CDATA[Node 1]]></Name

4146 ><LabelAbove

4147 >True</LabelAbove

4148 ><Shape

4149 ><![CDATA[copy]]></Shape

4150 ><Info

4151 ><list-int/></Info></Node

4152 ><Node id="N2"

4153 ><Position X="3.9735416666666667" Y="1.7883333333333333"

4154 /><Name

4155 ><![CDATA[Node 2]]></Name

4156 ><LabelAbove

4157 >True</LabelAbove

4158 ><Shape

4159 ><![CDATA[duplicator]]></Shape

4160 ><Info

4161 ><list-int/></Info></Node

4162 ><Node id="N3"

4163 ><Position X="1.4789583333333334" Y="0.5"

4164 /><Name

4165 ><![CDATA[Node 3]]></Name

4166 ><LabelAbove

4167 >True</LabelAbove

4168 ><Shape

4169 ><![CDATA[interface]]></Shape

4170 ><Info

4171 ><list-int/></Info></Node

4172 ><Node id="N4"

4173 ><Position X="2.267291666666667" Y="0.5"

4174 /><Name

4175 ><![CDATA[Node 4]]></Name

4176 ><LabelAbove

4177 >True</LabelAbove

4178 ><Shape

4179 ><![CDATA[interface]]></Shape

4180 ><Info

4181 ><list-int/></Info></Node

4182 ><Node id="N5"

4183 ><Position X="3.5318750000000003" Y="0.4735416666666667"

4184 /><Name

4185 ><![CDATA[Node 5]]></Name

4186 ><LabelAbove

4187 >True</LabelAbove

4188 ><Shape

4189 ><![CDATA[interface]]></Shape

4190 ><Info

4191 ><list-int/></Info></Node

4192 ><Node id="N6"

4193 ><Position X="4.690625" Y="0.5"

4194 /><Name

4195 ><![CDATA[Node 6]]></Name

4196 ><LabelAbove

4197 >True</LabelAbove

4198 ><Shape

4199 ><![CDATA[interface]]></Shape

4200 ><Info

4201 ><list-int/></Info></Node></Nodes

4202 ><Edges

4203 ><Edge id="E1"

4204 ><From

4205 >1</From

4206 ><PortFrom

4207 ><![CDATA[src]]></PortFrom

4208 ><To

4209 >2</To

4210 ><PortTo

4211 ><![CDATA[down]]></PortTo

4212 ><Via

4213 /><Info

4214 ><list-int/></Info></Edge

4215 ><Edge id="E2"

4216 ><From

4217 >1</From

4218 ><PortFrom

4219 ><![CDATA[snd_target]]></PortFrom

4220 ><To

4221 >4</To

4222 ><PortTo

4223 ><![CDATA[interface]]></PortTo

4224 ><Via

4225 /><Info

4226 ><list-int/></Info></Edge

4227 ><Edge id="E3"

4228 ><From

4229 >1</From

4230 ><PortFrom

4231 ><![CDATA[fst_target]]></PortFrom

4232 ><To

4233 >3</To

4234 ><PortTo

4235 ><![CDATA[interface]]></PortTo

4236 ><Via

4237 /><Info

4238 ><list-int/></Info></Edge

4239 ><Edge id="E4"

4240 ><From

4241 >2</From

4242 ><PortFrom

4243 ><![CDATA[copy2]]></PortFrom

4244 ><To

4245 >6</To

4246 ><PortTo

4247 ><![CDATA[interface]]></PortTo

4248 ><Via

4249 /><Info

4250 ><list-int/></Info></Edge

4251 ><Edge id="E5"

4252 ><From

4253 >2</From

4254 ><PortFrom

4255 ><![CDATA[copy1]]></PortFrom

4256 ><To

4257 >5</To

4258 ><PortTo

4259 ><![CDATA[interface]]></PortTo

4260 ><Via

4261 /><Info

4262 ><list-int/></Info></Edge></Edges></Network></LHS

4263 ><RHS

4264 ><Network Width="15.0" Height="9.0"

4265 ><Info

4266 ><unit/></Info

4267 ><Nodes

4268 ><Node id="N3"

4269 ><Position X="1.4789583333333334" Y="0.5"

4270 /><Name

4271 ><![CDATA[Node 3]]></Name

4272 ><LabelAbove

4273 >True</LabelAbove

4274 ><Shape

4275 ><![CDATA[interface]]></Shape

4276 ><Info

4277 ><list-int/></Info></Node

4278 ><Node id="N4"

4279 ><Position X="2.29375" Y="0.5"

4280 /><Name

4281 ><![CDATA[Node 4]]></Name

4282 ><LabelAbove

4283 >True</LabelAbove

4284 ><Shape

4285 ><![CDATA[interface]]></Shape

4286 ><Info

4287 ><list-int/></Info></Node

4288 ><Node id="N5"

4289 ><Position X="7.844583333333335" Y="5.500625"

4290 /><Name

4291 ><![CDATA[Node 5]]></Name

4292 ><LabelAbove

4293 >True</LabelAbove

4294 ><Shape

4295 ><![CDATA[interface]]></Shape

4296 ><Info

4297 ><list-int/></Info></Node

4298 ><Node id="N6"

4299 ><Position X="9.267916666666672" Y="5.606458333333333"

4300 /><Name

4301 ><![CDATA[Node 6]]></Name

4302 ><LabelAbove

4303 >True</LabelAbove

4304 ><Shape

4305 ><![CDATA[interface]]></Shape

4306 ><Info

4307 ><list-int/></Info></Node

4308 ><Node id="N7"

4309 ><Position X="7.884583333333335" Y="4.259791666666667"

4310 /><Name

4311 ><![CDATA[Node 7]]></Name

4312 ><LabelAbove

4313 >True</LabelAbove

4314 ><Shape

4315 ><![CDATA[copy]]></Shape

4316 ><Info

4317 ><list-int/></Info></Node

4318 ><Node id="N8"

4319 ><Position X="9.260416666666671" Y="4.312708333333333"

4320 /><Name

4321 ><![CDATA[Node 8]]></Name

4322 ><LabelAbove

4323 >True</LabelAbove

4324 ><Shape

4325 ><![CDATA[copy]]></Shape

4326 ><Info

4327 ><list-int/></Info></Node

4328 ><Node id="N9"

4329 ><Position X="2.460625000000001" Y="3.175000000000001"

4330 /><Name

4331 ><![CDATA[Node 9]]></Name

4332 ><LabelAbove

4333 >True</LabelAbove

4334 ><Shape

4335 ><![CDATA[duplicator]]></Shape

4336 ><Info

4337 ><list-int/></Info></Node

4338 ><Node id="N10"

4339 ><Position X="4.788958333333334" Y="1.2435416666666672"

4340 /><Name

4341 ><![CDATA[Node 10]]></Name

4342 ><LabelAbove

4343 >True</LabelAbove

4344 ><Shape

4345 ><![CDATA[duplicator]]></Shape

4346 ><Info

4347 ><list-int/></Info></Node></Nodes

4348 ><Edges

4349 ><Edge id="E1"

4350 ><From

4351 >7</From

4352 ><PortFrom

4353 ><![CDATA[src]]></PortFrom

4354 ><To

4355 >5</To

4356 ><PortTo

4357 ><![CDATA[interface]]></PortTo

4358 ><Via

4359 /><Info

4360 ><list-int/></Info></Edge

4361 ><Edge id="E2"

4362 ><From

4363 >6</From

4364 ><PortFrom

4365 ><![CDATA[interface]]></PortFrom

4366 ><To

4367 >8</To

4368 ><PortTo

4369 ><![CDATA[src]]></PortTo

4370 ><Via

4371 /><Info

4372 ><list-int/></Info></Edge

4373 ><Edge id="E3"

4374 ><From

4375 >9</From

4376 ><PortFrom

4377 ><![CDATA[down]]></PortFrom

4378 ><To

4379 >3</To

4380 ><PortTo

4381 ><![CDATA[interface]]></PortTo

4382 ><Via

4383 ><Position X="1.4552083333333334" Y="3.6512500000000006"/></Via

4384 ><Info

4385 ><list-int/></Info></Edge

4386 ><Edge id="E4"

4387 ><From

4388 >4</From

4389 ><PortFrom

4390 ><![CDATA[interface]]></PortFrom

4391 ><To

4392 >10</To

4393 ><PortTo

4394 ><![CDATA[down]]></PortTo

4395 ><Via

4396 ><Position X="2.2754166666666666" Y="1.7197916666666666"/></Via

4397 ><Info

4398 ><list-int/></Info></Edge

4399 ><Edge id="E5"

4400 ><From

4401 >9</From

4402 ><PortFrom

4403 ><![CDATA[copy2]]></PortFrom

4404 ><To

4405 >8</To

4406 ><PortTo

4407 ><![CDATA[snd_target]]></PortTo

4408 ><Via

4409 ><Position X="9.551458333333334" Y="2.857500000000001"/></Via

4410 ><Info

4411 ><list-int/></Info></Edge

4412 ><Edge id="E6"

4413 ><From

4414 >7</From

4415 ><PortFrom

4416 ><![CDATA[fst_target]]></PortFrom

4417 ><To

4418 >10</To

4419 ><PortTo

4420 ><![CDATA[copy1]]></PortTo

4421 ><Via

4422 ><Position X="7.567083333333334" Y="0.39687500000000003"

4423 /><Position X="4.4714583333333335" Y="0.3968750000000003"/></Via

4424 ><Info

4425 ><list-int/></Info></Edge

4426 ><Edge id="E7"

4427 ><From

4428 >10</From

4429 ><PortFrom

4430 ><![CDATA[copy2]]></PortFrom

4431 ><To

4432 >8</To

4433 ><PortTo

4434 ><![CDATA[fst_target]]></PortTo

4435 ><Via

4436 ><Position X="8.942916666666669" Y="0.9260416666666667"/></Via

4437 ><Info

4438 ><list-int/></Info></Edge

4439 ><Edge id="E8"

4440 ><From

4441 >9</From

4442 ><PortFrom

4443 ><![CDATA[copy1]]></PortFrom

4444 ><To

4445 >7</To

4446 ><PortTo

4447 ><![CDATA[snd_target]]></PortTo

4448 ><Via

4449 ><Position X="2.1431250000000004" Y="2.248958333333334"

4450 /><Position X="8.202083333333333" Y="2.248958333333334"/></Via

4451 ><Info

4452 ><list-int/></Info></Edge></Edges></Network></RHS

4453 ><Mapping

4454 ><MappingElement lhs="3" rhs="3"

4455 /><MappingElement lhs="4" rhs="4"

4456 /><MappingElement lhs="5" rhs="5"

4457 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

4458 ><INRule

4459 ><Name

4460 ><![CDATA[Duplicator_Lambda]]></Name

4461 ><LHS

4462 ><Network Width="15.0" Height="9.0"

4463 ><Info

4464 ><unit/></Info

4465 ><Nodes

4466 ><Node id="N1"

4467 ><Position X="2.0" Y="2.0"

4468 /><Name

4469 ><![CDATA[Node 1]]></Name

4470 ><LabelAbove

4471 >True</LabelAbove

4472 ><Shape

4473 ><![CDATA[duplicator]]></Shape

4474 ><Info

4475 ><list-int/></Info></Node

4476 ><Node id="N2"

4477 ><Position X="2.0" Y="4.0"

4478 /><Name

4479 ><![CDATA[Node 2]]></Name

4480 ><LabelAbove

4481 >True</LabelAbove

4482 ><Shape

4483 ><![CDATA[lambda]]></Shape

4484 ><Info

4485 ><list-int/></Info></Node

4486 ><Node id="N3"

4487 ><Position X="0.9233333333333333" Y="0.5"

4488 /><Name

4489 ><![CDATA[Node 3]]></Name

4490 ><LabelAbove

4491 >True</LabelAbove

4492 ><Shape

4493 ><![CDATA[interface]]></Shape

4494 ><Info

4495 ><list-int/></Info></Node

4496 ><Node id="N4"

4497 ><Position X="2.92875" Y="0.5529166666666667"

4498 /><Name

4499 ><![CDATA[Node 4]]></Name

4500 ><LabelAbove

4501 >True</LabelAbove

4502 ><Shape

4503 ><![CDATA[interface]]></Shape

4504 ><Info

4505 ><list-int/></Info></Node

4506 ><Node id="N5"

4507 ><Position X="2.6695833333333336" Y="5.4470833333333335"

4508 /><Name

4509 ><![CDATA[Node 5]]></Name

4510 ><LabelAbove

4511 >True</LabelAbove

4512 ><Shape

4513 ><![CDATA[interface]]></Shape

4514 ><Info

4515 ><list-int/></Info></Node

4516 ><Node id="N6"

4517 ><Position X="1.3147916666666666" Y="5.473541666666667"

4518 /><Name

4519 ><![CDATA[Node 6]]></Name

4520 ><LabelAbove

4521 >True</LabelAbove

4522 ><Shape

4523 ><![CDATA[interface]]></Shape

4524 ><Info

4525 ><list-int/></Info></Node></Nodes

4526 ><Edges

4527 ><Edge id="E1"

4528 ><From

4529 >1</From

4530 ><PortFrom

4531 ><![CDATA[down]]></PortFrom

4532 ><To

4533 >2</To

4534 ><PortTo

4535 ><![CDATA[res]]></PortTo

4536 ><Via

4537 /><Info

4538 ><list-int/></Info></Edge

4539 ><Edge id="E2"

4540 ><From

4541 >1</From

4542 ><PortFrom

4543 ><![CDATA[copy2]]></PortFrom

4544 ><To

4545 >4</To

4546 ><PortTo

4547 ><![CDATA[interface]]></PortTo

4548 ><Via

4549 /><Info

4550 ><list-int/></Info></Edge

4551 ><Edge id="E3"

4552 ><From

4553 >1</From

4554 ><PortFrom

4555 ><![CDATA[copy1]]></PortFrom

4556 ><To

4557 >3</To

4558 ><PortTo

4559 ><![CDATA[interface]]></PortTo

4560 ><Via

4561 /><Info

4562 ><list-int/></Info></Edge

4563 ><Edge id="E4"

4564 ><From

4565 >2</From

4566 ><PortFrom

4567 ><![CDATA[var]]></PortFrom

4568 ><To

4569 >6</To

4570 ><PortTo

4571 ><![CDATA[interface]]></PortTo

4572 ><Via

4573 /><Info

4574 ><list-int/></Info></Edge

4575 ><Edge id="E5"

4576 ><From

4577 >2</From

4578 ><PortFrom

4579 ><![CDATA[body]]></PortFrom

4580 ><To

4581 >5</To

4582 ><PortTo

4583 ><![CDATA[interface]]></PortTo

4584 ><Via

4585 /><Info

4586 ><list-int/></Info></Edge></Edges></Network></LHS

4587 ><RHS

4588 ><Network Width="15.0" Height="9.0"

4589 ><Info

4590 ><unit/></Info

4591 ><Nodes

4592 ><Node id="N3"

4593 ><Position X="0.9233333333333333" Y="0.5264583333333334"

4594 /><Name

4595 ><![CDATA[Node 3]]></Name

4596 ><LabelAbove

4597 >True</LabelAbove

4598 ><Shape

4599 ><![CDATA[interface]]></Shape

4600 ><Info

4601 ><list-int/></Info></Node

4602 ><Node id="N4"

4603 ><Position X="2.92875" Y="0.5529166666666667"

4604 /><Name

4605 ><![CDATA[Node 4]]></Name

4606 ><LabelAbove

4607 >True</LabelAbove

4608 ><Shape

4609 ><![CDATA[interface]]></Shape

4610 ><Info

4611 ><list-int/></Info></Node

4612 ><Node id="N5"

4613 ><Position X="2.907708333333334" Y="5.579375"

4614 /><Name

4615 ><![CDATA[Node 5]]></Name

4616 ><LabelAbove

4617 >True</LabelAbove

4618 ><Shape

4619 ><![CDATA[interface]]></Shape

4620 ><Info

4621 ><list-int/></Info></Node

4622 ><Node id="N6"

4623 ><Position X="0.9179166666666665" Y="5.579375"

4624 /><Name

4625 ><![CDATA[Node 6]]></Name

4626 ><LabelAbove

4627 >True</LabelAbove

4628 ><Shape

4629 ><![CDATA[interface]]></Shape

4630 ><Info

4631 ><list-int/></Info></Node

4632 ><Node id="N7"

4633 ><Position X="0.9260416666666668" Y="4.153958333333334"

4634 /><Name

4635 ><![CDATA[Node 7]]></Name

4636 ><LabelAbove

4637 >True</LabelAbove

4638 ><Shape

4639 ><![CDATA[duplicator]]></Shape

4640 ><Info

4641 ><list-int/></Info></Node

4642 ><Node id="N8"

4643 ><Position X="2.9104166666666673" Y="4.153958333333334"

4644 /><Name

4645 ><![CDATA[Node 8]]></Name

4646 ><LabelAbove

4647 >True</LabelAbove

4648 ><Shape

4649 ><![CDATA[duplicator]]></Shape

4650 ><Info

4651 ><list-int/></Info></Node

4652 ><Node id="N9"

4653 ><Position X="0.9260416666666667" Y="1.8785416666666668"

4654 /><Name

4655 ><![CDATA[Node 9]]></Name

4656 ><LabelAbove

4657 >True</LabelAbove

4658 ><Shape

4659 ><![CDATA[lambda]]></Shape

4660 ><Info

4661 ><list-int/></Info></Node

4662 ><Node id="N10"

4663 ><Position X="2.910416666666667" Y="1.905"

4664 /><Name

4665 ><![CDATA[Node 10]]></Name

4666 ><LabelAbove

4667 >True</LabelAbove

4668 ><Shape

4669 ><![CDATA[lambda]]></Shape

4670 ><Info

4671 ><list-int/></Info></Node></Nodes

4672 ><Edges

4673 ><Edge id="E1"

4674 ><From

4675 >7</From

4676 ><PortFrom

4677 ><![CDATA[down]]></PortFrom

4678 ><To

4679 >6</To

4680 ><PortTo

4681 ><![CDATA[interface]]></PortTo

4682 ><Via

4683 /><Info

4684 ><list-int/></Info></Edge

4685 ><Edge id="E2"

4686 ><From

4687 >8</From

4688 ><PortFrom

4689 ><![CDATA[down]]></PortFrom

4690 ><To

4691 >5</To

4692 ><PortTo

4693 ><![CDATA[interface]]></PortTo

4694 ><Via

4695 /><Info

4696 ><list-int/></Info></Edge

4697 ><Edge id="E3"

4698 ><From

4699 >3</From

4700 ><PortFrom

4701 ><![CDATA[interface]]></PortFrom

4702 ><To

4703 >9</To

4704 ><PortTo

4705 ><![CDATA[res]]></PortTo

4706 ><Via

4707 /><Info

4708 ><list-int/></Info></Edge

4709 ><Edge id="E4"

4710 ><From

4711 >4</From

4712 ><PortFrom

4713 ><![CDATA[interface]]></PortFrom

4714 ><To

4715 >10</To

4716 ><PortTo

4717 ><![CDATA[res]]></PortTo

4718 ><Via

4719 /><Info

4720 ><list-int/></Info></Edge

4721 ><Edge id="E5"

4722 ><From

4723 >7</From

4724 ><PortFrom

4725 ><![CDATA[copy1]]></PortFrom

4726 ><To

4727 >9</To

4728 ><PortTo

4729 ><![CDATA[var]]></PortTo

4730 ><Via

4731 /><Info

4732 ><list-int/></Info></Edge

4733 ><Edge id="E6"

4734 ><From

4735 >9</From

4736 ><PortFrom

4737 ><![CDATA[body]]></PortFrom

4738 ><To

4739 >8</To

4740 ><PortTo

4741 ><![CDATA[copy1]]></PortTo

4742 ><Via

4743 /><Info

4744 ><list-int/></Info></Edge

4745 ><Edge id="E7"

4746 ><From

4747 >10</From

4748 ><PortFrom

4749 ><![CDATA[var]]></PortFrom

4750 ><To

4751 >7</To

4752 ><PortTo

4753 ><![CDATA[copy2]]></PortTo

4754 ><Via

4755 /><Info

4756 ><list-int/></Info></Edge

4757 ><Edge id="E8"

4758 ><From

4759 >10</From

4760 ><PortFrom

4761 ><![CDATA[body]]></PortFrom

4762 ><To

4763 >8</To

4764 ><PortTo

4765 ><![CDATA[copy2]]></PortTo

4766 ><Via

4767 /><Info

4768 ><list-int/></Info></Edge></Edges></Network></RHS

4769 ><Mapping

4770 ><MappingElement lhs="3" rhs="3"

4771 /><MappingElement lhs="4" rhs="4"

4772 /><MappingElement lhs="5" rhs="5"

4773 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

4774 ><INRule

4775 ><Name

4776 ><![CDATA[Duplicator_Application]]></Name

4777 ><LHS

4778 ><Network Width="15.0" Height="9.0"

4779 ><Info

4780 ><unit/></Info

4781 ><Nodes

4782 ><Node id="N1"

4783 ><Position X="2.0" Y="2.0"

4784 /><Name

4785 ><![CDATA[Node 1]]></Name

4786 ><LabelAbove

4787 >True</LabelAbove

4788 ><Shape

4789 ><![CDATA[duplicator]]></Shape

4790 ><Info

4791 ><list-int/></Info></Node

4792 ><Node id="N2"

4793 ><Position X="3.576666666666666" Y="3.444375"

4794 /><Name

4795 ><![CDATA[Node 2]]></Name

4796 ><LabelAbove

4797 >True</LabelAbove

4798 ><Shape

4799 ><![CDATA[application]]></Shape

4800 ><Info

4801 ><list-int/></Info></Node

4802 ><Node id="N3"

4803 ><Position X="1.3466666666666667" Y="0.47354166666666664"

4804 /><Name

4805 ><![CDATA[Node 3]]></Name

4806 ><LabelAbove

4807 >True</LabelAbove

4808 ><Shape

4809 ><![CDATA[interface]]></Shape

4810 ><Info

4811 ><list-int/></Info></Node

4812 ><Node id="N4"

4813 ><Position X="2.584791666666667" Y="0.5529166666666667"

4814 /><Name

4815 ><![CDATA[Node 4]]></Name

4816 ><LabelAbove

4817 >True</LabelAbove

4818 ><Shape

4819 ><![CDATA[interface]]></Shape

4820 ><Info

4821 ><list-int/></Info></Node

4822 ><Node id="N5"

4823 ><Position X="5.860208333333334" Y="2.8283333333333336"

4824 /><Name

4825 ><![CDATA[Node 5]]></Name

4826 ><LabelAbove

4827 >True</LabelAbove

4828 ><Shape

4829 ><![CDATA[interface]]></Shape

4830 ><Info

4831 ><list-int/></Info></Node

4832 ><Node id="N6"

4833 ><Position X="4.839166666666666" Y="5.288333333333334"

4834 /><Name

4835 ><![CDATA[Node 6]]></Name

4836 ><LabelAbove

4837 >True</LabelAbove

4838 ><Shape

4839 ><![CDATA[interface]]></Shape

4840 ><Info

4841 ><list-int/></Info></Node></Nodes

4842 ><Edges

4843 ><Edge id="E1"

4844 ><From

4845 >1</From

4846 ><PortFrom

4847 ><![CDATA[down]]></PortFrom

4848 ><To

4849 >2</To

4850 ><PortTo

4851 ><![CDATA[func]]></PortTo

4852 ><Via

4853 /><Info

4854 ><list-int/></Info></Edge

4855 ><Edge id="E2"

4856 ><From

4857 >1</From

4858 ><PortFrom

4859 ><![CDATA[copy2]]></PortFrom

4860 ><To

4861 >4</To

4862 ><PortTo

4863 ><![CDATA[interface]]></PortTo

4864 ><Via

4865 /><Info

4866 ><list-int/></Info></Edge

4867 ><Edge id="E3"

4868 ><From

4869 >1</From

4870 ><PortFrom

4871 ><![CDATA[copy1]]></PortFrom

4872 ><To

4873 >3</To

4874 ><PortTo

4875 ><![CDATA[interface]]></PortTo

4876 ><Via

4877 /><Info

4878 ><list-int/></Info></Edge

4879 ><Edge id="E4"

4880 ><From

4881 >2</From

4882 ><PortFrom

4883 ><![CDATA[arg]]></PortFrom

4884 ><To

4885 >6</To

4886 ><PortTo

4887 ><![CDATA[interface]]></PortTo

4888 ><Via

4889 /><Info

4890 ><list-int/></Info></Edge

4891 ><Edge id="E5"

4892 ><From

4893 >2</From

4894 ><PortFrom

4895 ><![CDATA[res]]></PortFrom

4896 ><To

4897 >5</To

4898 ><PortTo

4899 ><![CDATA[interface]]></PortTo

4900 ><Via

4901 /><Info

4902 ><list-int/></Info></Edge></Edges></Network></LHS

4903 ><RHS

4904 ><Network Width="15.0" Height="9.0"

4905 ><Info

4906 ><unit/></Info

4907 ><Nodes

4908 ><Node id="N3"

4909 ><Position X="1.3466666666666667" Y="0.47354166666666664"

4910 /><Name

4911 ><![CDATA[Node 3]]></Name

4912 ><LabelAbove

4913 >True</LabelAbove

4914 ><Shape

4915 ><![CDATA[interface]]></Shape

4916 ><Info

4917 ><list-int/></Info></Node

4918 ><Node id="N4"

4919 ><Position X="3.378541666666667" Y="0.44708333333333333"

4920 /><Name

4921 ><![CDATA[Node 4]]></Name

4922 ><LabelAbove

4923 >True</LabelAbove

4924 ><Shape

4925 ><![CDATA[interface]]></Shape

4926 ><Info

4927 ><list-int/></Info></Node

4928 ><Node id="N5"

4929 ><Position X="8.082708333333334" Y="4.495208333333334"

4930 /><Name

4931 ><![CDATA[Node 5]]></Name

4932 ><LabelAbove

4933 >True</LabelAbove

4934 ><Shape

4935 ><![CDATA[interface]]></Shape

4936 ><Info

4937 ><list-int/></Info></Node

4938 ><Node id="N6"

4939 ><Position X="3.039999999999999" Y="5.870416666666667"

4940 /><Name

4941 ><![CDATA[Node 6]]></Name

4942 ><LabelAbove

4943 >True</LabelAbove

4944 ><Shape

4945 ><![CDATA[interface]]></Shape

4946 ><Info

4947 ><list-int/></Info></Node

4948 ><Node id="N7"

4949 ><Position X="2.196041666666667" Y="2.037291666666667"

4950 /><Name

4951 ><![CDATA[Node 7]]></Name

4952 ><LabelAbove

4953 >True</LabelAbove

4954 ><Shape

4955 ><![CDATA[application]]></Shape

4956 ><Info

4957 ><list-int/></Info></Node

4958 ><Node id="N8"

4959 ><Position X="4.180416666666667" Y="2.0902083333333334"

4960 /><Name

4961 ><![CDATA[Node 8]]></Name

4962 ><LabelAbove

4963 >True</LabelAbove

4964 ><Shape

4965 ><![CDATA[application]]></Shape

4966 ><Info

4967 ><list-int/></Info></Node

4968 ><Node id="N9"

4969 ><Position X="3.0427083333333336" Y="4.101041666666667"

4970 /><Name

4971 ><![CDATA[Node 9]]></Name

4972 ><LabelAbove

4973 >True</LabelAbove

4974 ><Shape

4975 ><![CDATA[duplicator]]></Shape

4976 ><Info

4977 ><list-int/></Info></Node

4978 ><Node id="N10"

4979 ><Position X="8.096249999999998" Y="2.7781249999999997"

4980 /><Name

4981 ><![CDATA[Node 10]]></Name

4982 ><LabelAbove

4983 >True</LabelAbove

4984 ><Shape

4985 ><![CDATA[duplicator]]></Shape

4986 ><Info

4987 ><list-int/></Info></Node></Nodes

4988 ><Edges

4989 ><Edge id="E1"

4990 ><From

4991 >7</From

4992 ><PortFrom

4993 ><![CDATA[func]]></PortFrom

4994 ><To

4995 >3</To

4996 ><PortTo

4997 ><![CDATA[interface]]></PortTo

4998 ><Via

4999 ><Position X="1.3229166666666667" Y="2.3018750000000003"/></Via

5000 ><Info

5001 ><list-int/></Info></Edge

5002 ><Edge id="E2"

5003 ><From

5004 >4</From

5005 ><PortFrom

5006 ><![CDATA[interface]]></PortFrom

5007 ><To

5008 >8</To

5009 ><PortTo

5010 ><![CDATA[func]]></PortTo

5011 ><Via

5012 ><Position X="3.360208333333334" Y="2.38125"/></Via

5013 ><Info

5014 ><list-int/></Info></Edge

5015 ><Edge id="E3"

5016 ><From

5017 >10</From

5018 ><PortFrom

5019 ><![CDATA[down]]></PortFrom

5020 ><To

5021 >5</To

5022 ><PortTo

5023 ><![CDATA[interface]]></PortTo

5024 ><Via

5025 /><Info

5026 ><list-int/></Info></Edge

5027 ><Edge id="E4"

5028 ><From

5029 >9</From

5030 ><PortFrom

5031 ><![CDATA[down]]></PortFrom

5032 ><To

5033 >6</To

5034 ><PortTo

5035 ><![CDATA[interface]]></PortTo

5036 ><Via

5037 /><Info

5038 ><list-int/></Info></Edge

5039 ><Edge id="E5"

5040 ><From

5041 >10</From

5042 ><PortFrom

5043 ><![CDATA[copy1]]></PortFrom

5044 ><To

5045 >7</To

5046 ><PortTo

5047 ><![CDATA[res]]></PortTo

5048 ><Via

5049 ><Position X="7.7787500000000005" Y="1.2964583333333335"

5050 /><Position X="2.1695833333333336" Y="1.2964583333333335"/></Via

5051 ><Info

5052 ><list-int/></Info></Edge

5053 ><Edge id="E6"

5054 ><From

5055 >8</From

5056 ><PortFrom

5057 ><![CDATA[res]]></PortFrom

5058 ><To

5059 >10</To

5060 ><PortTo

5061 ><![CDATA[copy2]]></PortTo

5062 ><Via

5063 ><Position X="4.153958333333334" Y="0.6879166666666666"

5064 /><Position X="8.413749999999999" Y="0.6879166666666665"/></Via

5065 ><Info

5066 ><list-int/></Info></Edge

5067 ><Edge id="E7"

5068 ><From

5069 >9</From

5070 ><PortFrom

5071 ><![CDATA[copy1]]></PortFrom

5072 ><To

5073 >7</To

5074 ><PortTo

5075 ><![CDATA[arg]]></PortTo

5076 ><Via

5077 /><Info

5078 ><list-int/></Info></Edge

5079 ><Edge id="E8"

5080 ><From

5081 >8</From

5082 ><PortFrom

5083 ><![CDATA[arg]]></PortFrom

5084 ><To

5085 >9</To

5086 ><PortTo

5087 ><![CDATA[copy2]]></PortTo

5088 ><Via

5089 /><Info

5090 ><list-int/></Info></Edge></Edges></Network></RHS

5091 ><Mapping

5092 ><MappingElement lhs="3" rhs="3"

5093 /><MappingElement lhs="4" rhs="4"

5094 /><MappingElement lhs="5" rhs="5"

5095 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

5096 ><INRule

5097 ><Name

5098 ><![CDATA[Duplicator_Evaluator]]></Name

5099 ><LHS

5100 ><Network Width="15.0" Height="9.0"

5101 ><Info

5102 ><unit/></Info

5103 ><Nodes

5104 ><Node id="N1"

5105 ><Position X="2.0" Y="2.0"

5106 /><Name

5107 ><![CDATA[Node 1]]></Name

5108 ><LabelAbove

5109 >True</LabelAbove

5110 ><Shape

5111 ><![CDATA[duplicator]]></Shape

5112 ><Info

5113 ><list-int/></Info></Node

5114 ><Node id="N2"

5115 ><Position X="4.0" Y="2.0"

5116 /><Name

5117 ><![CDATA[Node 2]]></Name

5118 ><LabelAbove

5119 >True</LabelAbove

5120 ><Shape

5121 ><![CDATA[evaluation]]></Shape

5122 ><Info

5123 ><list-int/></Info></Node

5124 ><Node id="N3"

5125 ><Position X="1.5847916666666668" Y="0.5529166666666666"

5126 /><Name

5127 ><![CDATA[Node 3]]></Name

5128 ><LabelAbove

5129 >True</LabelAbove

5130 ><Shape

5131 ><![CDATA[interface]]></Shape

5132 ><Info

5133 ><list-int/></Info></Node

5134 ><Node id="N4"

5135 ><Position X="2.426041666666667" Y="0.5529166666666667"

5136 /><Name

5137 ><![CDATA[Node 4]]></Name

5138 ><LabelAbove

5139 >True</LabelAbove

5140 ><Shape

5141 ><![CDATA[interface]]></Shape

5142 ><Info

5143 ><list-int/></Info></Node

5144 ><Node id="N5"

5145 ><Position X="4.008125" Y="0.44708333333333333"

5146 /><Name

5147 ><![CDATA[Node 5]]></Name

5148 ><LabelAbove

5149 >True</LabelAbove

5150 ><Shape

5151 ><![CDATA[interface]]></Shape

5152 ><Info

5153 ><list-int/></Info></Node></Nodes

5154 ><Edges

5155 ><Edge id="E1"

5156 ><From

5157 >1</From

5158 ><PortFrom

5159 ><![CDATA[down]]></PortFrom

5160 ><To

5161 >2</To

5162 ><PortTo

5163 ><![CDATA[arg]]></PortTo

5164 ><Via

5165 /><Info

5166 ><list-int/></Info></Edge

5167 ><Edge id="E2"

5168 ><From

5169 >1</From

5170 ><PortFrom

5171 ><![CDATA[copy2]]></PortFrom

5172 ><To

5173 >4</To

5174 ><PortTo

5175 ><![CDATA[interface]]></PortTo

5176 ><Via

5177 /><Info

5178 ><list-int/></Info></Edge

5179 ><Edge id="E3"

5180 ><From

5181 >1</From

5182 ><PortFrom

5183 ><![CDATA[copy1]]></PortFrom

5184 ><To

5185 >3</To

5186 ><PortTo

5187 ><![CDATA[interface]]></PortTo

5188 ><Via

5189 /><Info

5190 ><list-int/></Info></Edge

5191 ><Edge id="E4"

5192 ><From

5193 >2</From

5194 ><PortFrom

5195 ><![CDATA[res]]></PortFrom

5196 ><To

5197 >5</To

5198 ><PortTo

5199 ><![CDATA[interface]]></PortTo

5200 ><Via

5201 /><Info

5202 ><list-int/></Info></Edge></Edges></Network></LHS

5203 ><RHS

5204 ><Network Width="15.0" Height="9.0"

5205 ><Info

5206 ><unit/></Info

5207 ><Nodes

5208 ><Node id="N3"

5209 ><Position X="1.5847916666666668" Y="0.5529166666666666"

5210 /><Name

5211 ><![CDATA[Node 3]]></Name

5212 ><LabelAbove

5213 >True</LabelAbove

5214 ><Shape

5215 ><![CDATA[interface]]></Shape

5216 ><Info

5217 ><list-int/></Info></Node

5218 ><Node id="N4"

5219 ><Position X="5.257083333333336" Y="0.5793750000000001"

5220 /><Name

5221 ><![CDATA[Node 4]]></Name

5222 ><LabelAbove

5223 >True</LabelAbove

5224 ><Shape

5225 ><![CDATA[interface]]></Shape

5226 ><Info

5227 ><list-int/></Info></Node

5228 ><Node id="N5"

5229 ><Position X="3.2672916666666674" Y="5.7387500000000005"

5230 /><Name

5231 ><![CDATA[Node 5]]></Name

5232 ><LabelAbove

5233 >True</LabelAbove

5234 ><Shape

5235 ><![CDATA[interface]]></Shape

5236 ><Info

5237 ><list-int/></Info></Node

5238 ><Node id="N6"

5239 ><Position X="2.3283333333333336" Y="1.878541666666667"

5240 /><Name

5241 ><![CDATA[Node 6]]></Name

5242 ><LabelAbove

5243 >True</LabelAbove

5244 ><Shape

5245 ><![CDATA[evaluation]]></Shape

5246 ><Info

5247 ><list-int/></Info></Node

5248 ><Node id="N7"

5249 ><Position X="4.471458333333333" Y="1.878541666666667"

5250 /><Name

5251 ><![CDATA[Node 7]]></Name

5252 ><LabelAbove

5253 >True</LabelAbove

5254 ><Shape

5255 ><![CDATA[evaluation]]></Shape

5256 ><Info

5257 ><list-int/></Info></Node

5258 ><Node id="N8"

5259 ><Position X="3.2808333333333337" Y="4.048125000000001"

5260 /><Name

5261 ><![CDATA[Node 8]]></Name

5262 ><LabelAbove

5263 >True</LabelAbove

5264 ><Shape

5265 ><![CDATA[duplicator]]></Shape

5266 ><Info

5267 ><list-int/></Info></Node></Nodes

5268 ><Edges

5269 ><Edge id="E1"

5270 ><From

5271 >6</From

5272 ><PortFrom

5273 ><![CDATA[arg]]></PortFrom

5274 ><To

5275 >3</To

5276 ><PortTo

5277 ><![CDATA[interface]]></PortTo

5278 ><Via

5279 ><Position X="1.5610416666666669" Y="2.3547916666666673"/></Via

5280 ><Info

5281 ><list-int/></Info></Edge

5282 ><Edge id="E2"

5283 ><From

5284 >4</From

5285 ><PortFrom

5286 ><![CDATA[interface]]></PortFrom

5287 ><To

5288 >7</To

5289 ><PortTo

5290 ><![CDATA[arg]]></PortTo

5291 ><Via

5292 ><Position X="5.238750000000001" Y="2.354791666666667"/></Via

5293 ><Info

5294 ><list-int/></Info></Edge

5295 ><Edge id="E3"

5296 ><From

5297 >5</From

5298 ><PortFrom

5299 ><![CDATA[interface]]></PortFrom

5300 ><To

5301 >8</To

5302 ><PortTo

5303 ><![CDATA[down]]></PortTo

5304 ><Via

5305 /><Info

5306 ><list-int/></Info></Edge

5307 ><Edge id="E4"

5308 ><From

5309 >8</From

5310 ><PortFrom

5311 ><![CDATA[copy1]]></PortFrom

5312 ><To

5313 >6</To

5314 ><PortTo

5315 ><![CDATA[res]]></PortTo

5316 ><Via

5317 ><Position X="2.9633333333333334" Y="1.3758333333333337"/></Via

5318 ><Info

5319 ><list-int/></Info></Edge

5320 ><Edge id="E5"

5321 ><From

5322 >7</From

5323 ><PortFrom

5324 ><![CDATA[res]]></PortFrom

5325 ><To

5326 >8</To

5327 ><PortTo

5328 ><![CDATA[copy2]]></PortTo

5329 ><Via

5330 ><Position X="3.5718750000000004" Y="1.3758333333333337"/></Via

5331 ><Info

5332 ><list-int/></Info></Edge></Edges></Network></RHS

5333 ><Mapping

5334 ><MappingElement lhs="3" rhs="3"

5335 /><MappingElement lhs="4" rhs="4"

5336 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

5337 ><INRule

5338 ><Name

5339 ><![CDATA[Duplicator_EvaluatorReturning]]></Name

5340 ><LHS

5341 ><Network Width="15.0" Height="9.0"

5342 ><Info

5343 ><unit/></Info

5344 ><Nodes

5345 ><Node id="N1"

5346 ><Position X="2.0" Y="2.0"

5347 /><Name

5348 ><![CDATA[Node 1]]></Name

5349 ><LabelAbove

5350 >True</LabelAbove

5351 ><Shape

5352 ><![CDATA[duplicator]]></Shape

5353 ><Info

5354 ><list-int/></Info></Node

5355 ><Node id="N2"

5356 ><Position X="2.0" Y="4.0"

5357 /><Name

5358 ><![CDATA[Node 2]]></Name

5359 ><LabelAbove

5360 >True</LabelAbove

5361 ><Shape

5362 ><![CDATA[evalReturn]]></Shape

5363 ><Info

5364 ><list-int/></Info></Node

5365 ><Node id="N3"

5366 ><Position X="1.1349999999999998" Y="0.44708333333333333"

5367 /><Name

5368 ><![CDATA[Node 3]]></Name

5369 ><LabelAbove

5370 >True</LabelAbove

5371 ><Shape

5372 ><![CDATA[interface]]></Shape

5373 ><Info

5374 ><list-int/></Info></Node

5375 ><Node id="N4"

5376 ><Position X="3.0081249999999997" Y="0.5529166666666667"

5377 /><Name

5378 ><![CDATA[Node 4]]></Name

5379 ><LabelAbove

5380 >True</LabelAbove

5381 ><Shape

5382 ><![CDATA[interface]]></Shape

5383 ><Info

5384 ><list-int/></Info></Node

5385 ><Node id="N5"

5386 ><Position X="2.008125" Y="5.5529166666666665"

5387 /><Name

5388 ><![CDATA[Node 5]]></Name

5389 ><LabelAbove

5390 >True</LabelAbove

5391 ><Shape

5392 ><![CDATA[interface]]></Shape

5393 ><Info

5394 ><list-int/></Info></Node></Nodes

5395 ><Edges

5396 ><Edge id="E1"

5397 ><From

5398 >1</From

5399 ><PortFrom

5400 ><![CDATA[down]]></PortFrom

5401 ><To

5402 >2</To

5403 ><PortTo

5404 ><![CDATA[res]]></PortTo

5405 ><Via

5406 /><Info

5407 ><list-int/></Info></Edge

5408 ><Edge id="E2"

5409 ><From

5410 >1</From

5411 ><PortFrom

5412 ><![CDATA[copy2]]></PortFrom

5413 ><To

5414 >4</To

5415 ><PortTo

5416 ><![CDATA[interface]]></PortTo

5417 ><Via

5418 /><Info

5419 ><list-int/></Info></Edge

5420 ><Edge id="E3"

5421 ><From

5422 >1</From

5423 ><PortFrom

5424 ><![CDATA[copy1]]></PortFrom

5425 ><To

5426 >3</To

5427 ><PortTo

5428 ><![CDATA[interface]]></PortTo

5429 ><Via

5430 /><Info

5431 ><list-int/></Info></Edge

5432 ><Edge id="E4"

5433 ><From

5434 >2</From

5435 ><PortFrom

5436 ><![CDATA[arg]]></PortFrom

5437 ><To

5438 >5</To

5439 ><PortTo

5440 ><![CDATA[interface]]></PortTo

5441 ><Via

5442 /><Info

5443 ><list-int/></Info></Edge></Edges></Network></LHS

5444 ><RHS

5445 ><Network Width="15.0" Height="9.0"

5446 ><Info

5447 ><unit/></Info

5448 ><Nodes

5449 ><Node id="N3"

5450 ><Position X="1.1349999999999998" Y="0.44708333333333333"

5451 /><Name

5452 ><![CDATA[Node 3]]></Name

5453 ><LabelAbove

5454 >True</LabelAbove

5455 ><Shape

5456 ><![CDATA[interface]]></Shape

5457 ><Info

5458 ><list-int/></Info></Node

5459 ><Node id="N4"

5460 ><Position X="3.0081249999999997" Y="0.5529166666666667"

5461 /><Name

5462 ><![CDATA[Node 4]]></Name

5463 ><LabelAbove

5464 >True</LabelAbove

5465 ><Shape

5466 ><![CDATA[interface]]></Shape

5467 ><Info

5468 ><list-int/></Info></Node

5469 ><Node id="N5"

5470 ><Position X="2.008125" Y="5.5529166666666665"

5471 /><Name

5472 ><![CDATA[Node 5]]></Name

5473 ><LabelAbove

5474 >True</LabelAbove

5475 ><Shape

5476 ><![CDATA[interface]]></Shape

5477 ><Info

5478 ><list-int/></Info></Node

5479 ><Node id="N6"

5480 ><Position X="1.1377083333333333" Y="2.0108333333333333"

5481 /><Name

5482 ><![CDATA[Node 6]]></Name

5483 ><LabelAbove

5484 >True</LabelAbove

5485 ><Shape

5486 ><![CDATA[evalReturn]]></Shape

5487 ><Info

5488 ><list-int/></Info></Node

5489 ><Node id="N7"

5490 ><Position X="2.9897916666666666" Y="1.9843750000000004"

5491 /><Name

5492 ><![CDATA[Node 7]]></Name

5493 ><LabelAbove

5494 >True</LabelAbove

5495 ><Shape

5496 ><![CDATA[evalReturn]]></Shape

5497 ><Info

5498 ><list-int/></Info></Node

5499 ><Node id="N8"

5500 ><Position X="1.984375" Y="4.074583333333334"

5501 /><Name

5502 ><![CDATA[Node 8]]></Name

5503 ><LabelAbove

5504 >True</LabelAbove

5505 ><Shape

5506 ><![CDATA[duplicator]]></Shape

5507 ><Info

5508 ><list-int/></Info></Node></Nodes

5509 ><Edges

5510 ><Edge id="E1"

5511 ><From

5512 >6</From

5513 ><PortFrom

5514 ><![CDATA[res]]></PortFrom

5515 ><To

5516 >3</To

5517 ><PortTo

5518 ><![CDATA[interface]]></PortTo

5519 ><Via

5520 /><Info

5521 ><list-int/></Info></Edge

5522 ><Edge id="E2"

5523 ><From

5524 >4</From

5525 ><PortFrom

5526 ><![CDATA[interface]]></PortFrom

5527 ><To

5528 >7</To

5529 ><PortTo

5530 ><![CDATA[res]]></PortTo

5531 ><Via

5532 /><Info

5533 ><list-int/></Info></Edge

5534 ><Edge id="E3"

5535 ><From

5536 >8</From

5537 ><PortFrom

5538 ><![CDATA[down]]></PortFrom

5539 ><To

5540 >5</To

5541 ><PortTo

5542 ><![CDATA[interface]]></PortTo

5543 ><Via

5544 /><Info

5545 ><list-int/></Info></Edge

5546 ><Edge id="E4"

5547 ><From

5548 >8</From

5549 ><PortFrom

5550 ><![CDATA[copy1]]></PortFrom

5551 ><To

5552 >6</To

5553 ><PortTo

5554 ><![CDATA[arg]]></PortTo

5555 ><Via

5556 /><Info

5557 ><list-int/></Info></Edge

5558 ><Edge id="E5"

5559 ><From

5560 >7</From

5561 ><PortFrom

5562 ><![CDATA[arg]]></PortFrom

5563 ><To

5564 >8</To

5565 ><PortTo

5566 ><![CDATA[copy2]]></PortTo

5567 ><Via

5568 /><Info

5569 ><list-int/></Info></Edge></Edges></Network></RHS

5570 ><Mapping

5571 ><MappingElement lhs="3" rhs="3"

5572 /><MappingElement lhs="4" rhs="4"

5573 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

5574 ><INRule

5575 ><Name

5576 ><![CDATA[Duplicator_preApplication]]></Name

5577 ><LHS

5578 ><Network Width="15.0" Height="9.0"

5579 ><Info

5580 ><unit/></Info

5581 ><Nodes

5582 ><Node id="N1"

5583 ><Position X="2.0" Y="2.0"

5584 /><Name

5585 ><![CDATA[Node 1]]></Name

5586 ><LabelAbove

5587 >True</LabelAbove

5588 ><Shape

5589 ><![CDATA[duplicator]]></Shape

5590 ><Info

5591 ><list-int/></Info></Node

5592 ><Node id="N2"

5593 ><Position X="2.0" Y="4.0"

5594 /><Name

5595 ><![CDATA[Node 2]]></Name

5596 ><LabelAbove

5597 >True</LabelAbove

5598 ><Shape

5599 ><![CDATA[beforeApplication]]></Shape

5600 ><Info

5601 ><list-int/></Info></Node

5602 ><Node id="N3"

5603 ><Position X="1.29375" Y="0.5264583333333333"

5604 /><Name

5605 ><![CDATA[Node 3]]></Name

5606 ><LabelAbove

5607 >True</LabelAbove

5608 ><Shape

5609 ><![CDATA[interface]]></Shape

5610 ><Info

5611 ><list-int/></Info></Node

5612 ><Node id="N4"

5613 ><Position X="2.955208333333333" Y="0.6058333333333334"

5614 /><Name

5615 ><![CDATA[Node 4]]></Name

5616 ><LabelAbove

5617 >True</LabelAbove

5618 ><Shape

5619 ><![CDATA[interface]]></Shape

5620 ><Info

5621 ><list-int/></Info></Node

5622 ><Node id="N5"

5623 ><Position X="2.8018750000000003" Y="5.5"

5624 /><Name

5625 ><![CDATA[Node 5]]></Name

5626 ><LabelAbove

5627 >True</LabelAbove

5628 ><Shape

5629 ><![CDATA[interface]]></Shape

5630 ><Info

5631 ><list-int/></Info></Node

5632 ><Node id="N6"

5633 ><Position X="1.2354166666666666" Y="5.5"

5634 /><Name

5635 ><![CDATA[Node 6]]></Name

5636 ><LabelAbove

5637 >True</LabelAbove

5638 ><Shape

5639 ><![CDATA[interface]]></Shape

5640 ><Info

5641 ><list-int/></Info></Node></Nodes

5642 ><Edges

5643 ><Edge id="E1"

5644 ><From

5645 >1</From

5646 ><PortFrom

5647 ><![CDATA[down]]></PortFrom

5648 ><To

5649 >2</To

5650 ><PortTo

5651 ><![CDATA[res]]></PortTo

5652 ><Via

5653 /><Info

5654 ><list-int/></Info></Edge

5655 ><Edge id="E2"

5656 ><From

5657 >1</From

5658 ><PortFrom

5659 ><![CDATA[copy2]]></PortFrom

5660 ><To

5661 >4</To

5662 ><PortTo

5663 ><![CDATA[interface]]></PortTo

5664 ><Via

5665 /><Info

5666 ><list-int/></Info></Edge

5667 ><Edge id="E3"

5668 ><From

5669 >1</From

5670 ><PortFrom

5671 ><![CDATA[copy1]]></PortFrom

5672 ><To

5673 >3</To

5674 ><PortTo

5675 ><![CDATA[interface]]></PortTo

5676 ><Via

5677 /><Info

5678 ><list-int/></Info></Edge

5679 ><Edge id="E4"

5680 ><From

5681 >2</From

5682 ><PortFrom

5683 ><![CDATA[func]]></PortFrom

5684 ><To

5685 >6</To

5686 ><PortTo

5687 ><![CDATA[interface]]></PortTo

5688 ><Via

5689 /><Info

5690 ><list-int/></Info></Edge

5691 ><Edge id="E5"

5692 ><From

5693 >2</From

5694 ><PortFrom

5695 ><![CDATA[arg]]></PortFrom

5696 ><To

5697 >5</To

5698 ><PortTo

5699 ><![CDATA[interface]]></PortTo

5700 ><Via

5701 /><Info

5702 ><list-int/></Info></Edge></Edges></Network></LHS

5703 ><RHS

5704 ><Network Width="15.0" Height="9.0"

5705 ><Info

5706 ><unit/></Info

5707 ><Nodes

5708 ><Node id="N3"

5709 ><Position X="1.29375" Y="0.5264583333333333"

5710 /><Name

5711 ><![CDATA[Node 3]]></Name

5712 ><LabelAbove

5713 >True</LabelAbove

5714 ><Shape

5715 ><![CDATA[interface]]></Shape

5716 ><Info

5717 ><list-int/></Info></Node

5718 ><Node id="N4"

5719 ><Position X="2.955208333333333" Y="0.6322916666666668"

5720 /><Name

5721 ><![CDATA[Node 4]]></Name

5722 ><LabelAbove

5723 >True</LabelAbove

5724 ><Shape

5725 ><![CDATA[interface]]></Shape

5726 ><Info

5727 ><list-int/></Info></Node

5728 ><Node id="N5"

5729 ><Position X="2.934166666666667" Y="5.526458333333333"

5730 /><Name

5731 ><![CDATA[Node 5]]></Name

5732 ><LabelAbove

5733 >True</LabelAbove

5734 ><Shape

5735 ><![CDATA[interface]]></Shape

5736 ><Info

5737 ><list-int/></Info></Node

5738 ><Node id="N6"

5739 ><Position X="1.2883333333333333" Y="5.5"

5740 /><Name

5741 ><![CDATA[Node 6]]></Name

5742 ><LabelAbove

5743 >True</LabelAbove

5744 ><Shape

5745 ><![CDATA[interface]]></Shape

5746 ><Info

5747 ><list-int/></Info></Node

5748 ><Node id="N7"

5749 ><Position X="1.2964583333333337" Y="4.1275"

5750 /><Name

5751 ><![CDATA[Node 7]]></Name

5752 ><LabelAbove

5753 >True</LabelAbove

5754 ><Shape

5755 ><![CDATA[duplicator]]></Shape

5756 ><Info

5757 ><list-int/></Info></Node

5758 ><Node id="N8"

5759 ><Position X="2.936875" Y="4.1275"

5760 /><Name

5761 ><![CDATA[Node 8]]></Name

5762 ><LabelAbove

5763 >True</LabelAbove

5764 ><Shape

5765 ><![CDATA[duplicator]]></Shape

5766 ><Info

5767 ><list-int/></Info></Node

5768 ><Node id="N9"

5769 ><Position X="1.2964583333333335" Y="1.8520833333333333"

5770 /><Name

5771 ><![CDATA[Node 9]]></Name

5772 ><LabelAbove

5773 >True</LabelAbove

5774 ><Shape

5775 ><![CDATA[beforeApplication]]></Shape

5776 ><Info

5777 ><list-int/></Info></Node

5778 ><Node id="N10"

5779 ><Position X="2.9368750000000006" Y="1.7991666666666668"

5780 /><Name

5781 ><![CDATA[Node 10]]></Name

5782 ><LabelAbove

5783 >True</LabelAbove

5784 ><Shape

5785 ><![CDATA[beforeApplication]]></Shape

5786 ><Info

5787 ><list-int/></Info></Node></Nodes

5788 ><Edges

5789 ><Edge id="E1"

5790 ><From

5791 >7</From

5792 ><PortFrom

5793 ><![CDATA[down]]></PortFrom

5794 ><To

5795 >6</To

5796 ><PortTo

5797 ><![CDATA[interface]]></PortTo

5798 ><Via

5799 /><Info

5800 ><list-int/></Info></Edge

5801 ><Edge id="E2"

5802 ><From

5803 >8</From

5804 ><PortFrom

5805 ><![CDATA[down]]></PortFrom

5806 ><To

5807 >5</To

5808 ><PortTo

5809 ><![CDATA[interface]]></PortTo

5810 ><Via

5811 /><Info

5812 ><list-int/></Info></Edge

5813 ><Edge id="E3"

5814 ><From

5815 >3</From

5816 ><PortFrom

5817 ><![CDATA[interface]]></PortFrom

5818 ><To

5819 >9</To

5820 ><PortTo

5821 ><![CDATA[res]]></PortTo

5822 ><Via

5823 /><Info

5824 ><list-int/></Info></Edge

5825 ><Edge id="E4"

5826 ><From

5827 >4</From

5828 ><PortFrom

5829 ><![CDATA[interface]]></PortFrom

5830 ><To

5831 >10</To

5832 ><PortTo

5833 ><![CDATA[res]]></PortTo

5834 ><Via

5835 /><Info

5836 ><list-int/></Info></Edge

5837 ><Edge id="E5"

5838 ><From

5839 >9</From

5840 ><PortFrom

5841 ><![CDATA[func]]></PortFrom

5842 ><To

5843 >7</To

5844 ><PortTo

5845 ><![CDATA[copy1]]></PortTo

5846 ><Via

5847 /><Info

5848 ><list-int/></Info></Edge

5849 ><Edge id="E6"

5850 ><From

5851 >10</From

5852 ><PortFrom

5853 ><![CDATA[func]]></PortFrom

5854 ><To

5855 >7</To

5856 ><PortTo

5857 ><![CDATA[copy2]]></PortTo

5858 ><Via

5859 /><Info

5860 ><list-int/></Info></Edge

5861 ><Edge id="E7"

5862 ><From

5863 >9</From

5864 ><PortFrom

5865 ><![CDATA[arg]]></PortFrom

5866 ><To

5867 >8</To

5868 ><PortTo

5869 ><![CDATA[copy1]]></PortTo

5870 ><Via

5871 /><Info

5872 ><list-int/></Info></Edge

5873 ><Edge id="E8"

5874 ><From

5875 >10</From

5876 ><PortFrom

5877 ><![CDATA[arg]]></PortFrom

5878 ><To

5879 >8</To

5880 ><PortTo

5881 ><![CDATA[copy2]]></PortTo

5882 ><Via

5883 /><Info

5884 ><list-int/></Info></Edge></Edges></Network></RHS

5885 ><Mapping

5886 ><MappingElement lhs="3" rhs="3"

5887 /><MappingElement lhs="4" rhs="4"

5888 /><MappingElement lhs="5" rhs="5"

5889 /><MappingElement lhs="6"

5890 rhs="6"/></Mapping></INRule></Rules></Document>