chapter05 cluster_Nodes Start2 Start $ctrl arg Stop3 Stop Return19 Return Stop3->Return19 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 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 Phi_a18->Region17 0 Return19->Region17 0 Return19->Phi_a18 1