chapter06 cluster_Nodes Start2 Start $ctrl arg Stop3 Stop Return25 Return Stop3->Return25 0 Con_6 #0 Con_7 #1 If8 If True False If8->Start2:p0 0 If8->Start2:p1 1 Con_12 #2 If13 If True False If13->Start2:p1 1 If13->If8:p0 0 Con_17 #2 Con_18 #3 Region19 Region Region19->If13:p0 1 Region19->If13:p1 2 Phi_b20 φ_b Phi_b20->Con_17 1 Phi_b20->Con_18 2 Phi_b20->Region19 0 Region21 Region Region21->If8:p1 2 Region21->Region19 1 Phi_a22 φ_a Phi_a22->Con_6 2 Phi_a22->Con_12 1 Phi_a22->Region21 0 Phi_b23 φ_b Phi_b23->Con_7 2 Phi_b23->Phi_b20 1 Phi_b23->Region21 0 Add24 + Add24->Phi_a22 2 Add24->Phi_b23 1 Return25->Region21 0 Return25->Add24 1