#1[0] → #17 · ASSOC · 0: $ctrl#1[1] → #5 · ASSOC · 0: arg#1[2] → #18 · ASSOC · 1: a#8[1] → #5 · DATA#8[2] → #7 · DATA#9[0] → #4 · CTRL#9[1] → #8 · DATA#14[1] → #5 · DATA#14[2] → #13 · DATA#16[1] → #5 · DATA#16[2] → #15 · DATA#17[1] → #6 · CTRL#17[2] → #10 · CTRL#18[1] → #14 · DATA#18[2] → #16 · DATAScope #1#1 Scope
Type not computed
[0] → #17 ASSOC 0: $ctrl
[1] → #5 ASSOC 0: arg
[2] → #18 ASSOC 1: a0: $ctrl0: arg1: a012Start #2#2 Start
Type not computed
$ctrl #4/0#4 $ctrl
Projection 0 of #2
Type not computed
[0] → #2 CTRLarg #5/1#5 arg
Projection 1 of #2
Type not computed
[0] → #2 DATATrue #6/0#6 True
Projection 0 of #9
Type not computed
[0] → #9 CTRL#1 #7#7 #1
Type not computed
== #8#8 ==
Type not computed
[0] → — DATA
[1] → #5 DATA
[2] → #7 DATA012If #9#9 If
Type not computed
[0] → #4 CTRL
[1] → #8 DATA01False #10/1#10 False
Projection 1 of #9
Type not computed
[0] → #9 CTRL#2 #13#13 #2
Type not computed
+ #14#14 +
Type not computed
[0] → — DATA
[1] → #5 DATA
[2] → #13 DATA012#3 #15#15 #3
Type not computed
- #16#16 -
Type not computed
[0] → — DATA
[1] → #5 DATA
[2] → #15 DATA012Region #17#17 Region
Type not computed
[0] → — DATA
[1] → #6 CTRL
[2] → #10 CTRL012φ_a #18#18 φ_a
Type not computed
[0] → #17 ASSOC
[1] → #14 DATA
[2] → #16 DATA[0] → #17012If #9If · 8 nodes−Fold region