chapter05 cluster_Nodes cluster_Scope1_0 cluster_Scope1_1 Start2 Start $ctrl arg Con_7 #1 EQNode8 == EQNode8->Start2:p1 EQNode8->Con_7 If9 If True False If9->Start2:p0 If9->EQNode8 Con_13 #2 Add14 + Add14->Start2:p1 Add14->Con_13 Con_15 #3 Sub16 - Sub16->Start2:p1 Sub16->Con_15 Region17 Region Region17->If9:p0 Region17->If9:p1 Phi_a18 φ_a Phi_a18->Add14 Phi_a18->Sub16 Phi_a18->Region17 Scope1_0 0 $ctrl arg Scope1_0:Scope1_0_arg->Start2:p1 Scope1_0:Scope1_0_$ctrl->Region17 Scope1_1 1 a Scope1_1:Scope1_1_a->Phi_a18