chapter06 cluster_Nodes Start2 Start $ctrl arg Stop3 Stop Return38 Return Stop3->Return38 0 Con_6 #0 Con_7 #1 Con_8 #0 If9 If True False If9->Start2:p0 0 If9->Start2:p1 1 Con_13 #1 Con_14 #2 EQNode15 == EQNode15->Start2:p1 1 EQNode15->Con_14 2 If16 If True False If16->If9:p0 0 If16->EQNode15 1 Con_20 #2 Con_21 #3 Region22 Region Region22->If16:p0 1 Region22->If16:p1 2 Phi_c23 φ_c Phi_c23->Con_20 1 Phi_c23->Con_21 2 Phi_c23->Region22 0 If24 If True False If24->Start2:p1 1 If24->Region22 0 Con_28 #2 Con_29 #3 Region30 Region Region30->If24:p0 1 Region30->If24:p1 2 Phi_b31 φ_b Phi_b31->Con_28 1 Phi_b31->Con_29 2 Phi_b31->Region30 0 Region32 Region Region32->If9:p1 2 Region32->Region30 1 Phi_a33 φ_a Phi_a33->Con_6 2 Phi_a33->Con_13 1 Phi_a33->Region32 0 Phi_b34 φ_b Phi_b34->Con_7 2 Phi_b34->Phi_b31 1 Phi_b34->Region32 0 Phi_c35 φ_c Phi_c35->Con_8 2 Phi_c35->Phi_c23 1 Phi_c35->Region32 0 Add36 + Add36->Phi_b34 2 Add36->Phi_c35 1 Add37 + Add37->Phi_a33 2 Add37->Add36 1 Return38->Region32 0 Return38->Add37 1