#3[0] → #51 · CTRL#11[1] → #4 · DATA#11[2] → #10 · DATA#12[0] → #1 · CTRL#12[1] → #11 · DATA#20[1] → #4 · DATA#20[2] → #19 · DATA#31[1] → #5 · CTRL#31[2] → #6 · CTRL#37[1] → #20 · DATA#37[2] → #4 · DATA#42[1] → #37 · DATA#42[2] → #4 · DATA#49[1] → #46 · DATA#49[2] → #48 · DATA#50[1] → #42 · DATA#50[2] → #49 · DATA#51[0] → #31 · CTRL#51[1] → #50 · DATA$ctrl #1/0#1 $ctrl
Projection 0 of #2
Type not computed
[0] → #2 CTRLStart #2#2 Start
Type not computed
Stop #3#3 Stop
Type not computed
[0] → #51 CTRL0arg #4/1#4 arg
Projection 1 of #2
Type not computed
[0] → #2 DATATrue #5/0#5 True
Projection 0 of #12
Type not computed
[0] → #12 CTRLFalse #6/1#6 False
Projection 1 of #12
Type not computed
[0] → #12 CTRL#1 #10#10 #1
Type not computed
== #11#11 ==
Type not computed
[0] → — DATA
[1] → #4 DATA
[2] → #10 DATA012If #12#12 If
Type not computed
[0] → #1 CTRL
[1] → #11 DATA01#2 #19#19 #2
Type not computed
* #20#20 *
Type not computed
[0] → — DATA
[1] → #4 DATA
[2] → #19 DATA012Region #31#31 Region
Type not computed
[0] → — DATA
[1] → #5 CTRL
[2] → #6 CTRL012φ_b #37#37 φ_b
Type not computed
[0] → #31 ASSOC
[1] → #20 DATA
[2] → #4 DATA[0] → #31012+ #42#42 +
Type not computed
[0] → — DATA
[1] → #37 DATA
[2] → #4 DATA012#4 #46#46 #4
Type not computed
#5 #48#48 #5
Type not computed
φ_ab #49#49 φ_ab
Type not computed
[0] → #31 ASSOC
[1] → #46 DATA
[2] → #48 DATA[0] → #31012+ #50#50 +
Type not computed
[0] → — DATA
[1] → #42 DATA
[2] → #49 DATA012Return #51#51 Return
Type not computed
[0] → #31 CTRL
[1] → #50 DATA01If #12If · 8 nodes−Fold region