chapter05 cluster_Nodes cluster_Scope1_0 cluster_Scope1_1 Start2 Start $ctrl arg Stop3 Stop Return35 Return Stop3->Return35 0 Con_7 #1 EQNode8 == EQNode8->Start2:p1 1 EQNode8->Con_7 2 If9 If True False If9->Start2:p0 0 If9->EQNode8 1 Con_13 #2 EQNode14 == EQNode14->Start2:p1 1 EQNode14->Con_13 2 If15 If True False If15->If9:p0 0 If15->EQNode14 1 Con_19 #2 Con_20 #3 Region21 Region Region21->If15:p0 1 Region21->If15:p1 2 Phi_a22 φ_a Phi_a22->Con_19 1 Phi_a22->Con_20 2 Phi_a22->Region21 0 Con_23 #3 EQNode24 == EQNode24->Start2:p1 1 EQNode24->Con_23 2 If25 If True False If25->If9:p1 0 If25->EQNode24 1 Con_29 #4 Con_30 #5 Region31 Region Region31->If25:p0 1 Region31->If25:p1 2 Phi_a32 φ_a Phi_a32->Con_29 1 Phi_a32->Con_30 2 Phi_a32->Region31 0 Region33 Region Region33->Region21 1 Region33->Region31 2 Phi_a34 φ_a Phi_a34->Phi_a22 1 Phi_a34->Phi_a32 2 Phi_a34->Region33 0 Return35->Region33 0 Return35->Phi_a34 1 Scope1_0 0 $ctrl arg Scope1_0:Scope1_0_arg->Start2:p1 Scope1_1 1 a Scope1_1:Scope1_1_a->Phi_a34