chapter05 cluster_Nodes cluster_Scope1_0 cluster_Scope1_1 Start2 Start $ctrl arg 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 Add14 + Add14->Start2:p1 1 Add14->Con_13 2 Con_15 #3 Sub16 - Sub16->Start2:p1 1 Sub16->Con_15 2 Region17 Region Region17->If9:p0 1 Region17->If9:p1 2 Phi_a18 φ_a Phi_a18->Add14 1 Phi_a18->Sub16 2 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