chapter05 cluster_Nodes Start2 Start $ctrl arg Stop3 Stop Return18 Return Stop3->Return18 0 Con_6 #2 EQNode7 == EQNode7->Start2:p1 1 EQNode7->Con_6 2 Con_8 #1 EQNode9 == EQNode9->Start2:p1 1 EQNode9->Con_8 2 If10 If True False If10->Start2:p0 0 If10->EQNode9 1 Con_14 #3 EQNode15 == EQNode15->Start2:p1 1 EQNode15->Con_14 2 Region16 Region Region16->If10:p0 1 Region16->If10:p1 2 Phi_a17 φ_a Phi_a17->EQNode7 2 Phi_a17->EQNode15 1 Phi_a17->Region16 0 Return18->Region16 0 Return18->Phi_a17 1