digraph Method {
rankdir=LR
go [fontsize=8 name="go" shape=trapezium]
go -> go_top6
go_top6 [fontsize=8 label="go_top6\n IN:[]\n OUT:[]\n GEN:[]\n KILL:[]" shape=diamond]
go_top6 -> true_branch7
go_top6 -> false_branch9
true_branch7 [fontsize=8 label="true_branch7\n IN:[]\n OUT:[]\n GEN:[]\n KILL:[TEMP$0, TEMP$1]"]
true_branch7 -> after_if8
after_if8 [fontsize=8 label="after_if8\n IN:[]\n OUT:[]\n GEN:[]\n KILL:[]"]
after_if8 -> nbody_Semaphore_go_end
false_branch9 [fontsize=8 label="false_branch9\n IN:[]\n OUT:[]\n GEN:[]\n KILL:[TEMP$2, TEMP$3]"]
false_branch9 -> after_if8
}