chapter05 cluster_Nodes Start2 Start $ctrl arg Stop3 Stop Return20 Return Stop3->Return20 0 Con_8 1 EQ9 == EQ9->Start2:p1 1 EQ9->Con_8 2 If10 If True False If10->Start2:p0 0 If10->EQ9 1 Con_14 2 Con_16 1 Region17 Region Region17->If10:p0 1 Region17->If10:p1 2 Phi_b18 φ_b Phi_b18->Con_14 1 Phi_b18->Con_16 2 Phi_b18->Region17 0 Return20->Region17 0 Return20->Phi_b18 1