digraph Method {
rankdir=LR
signal [fontsize=8 name="signal" shape=trapezium]
signal -> signal_top11
signal_top11 [fontsize=8 label="signal_top11\n IN:[]\n OUT:[]\n GEN:[]\n KILL:[TEMP$1, TEMP$0]" shape=diamond]
signal_top11 -> true_branch12
signal_top11 -> after_if17
true_branch12 [fontsize=8 label="true_branch12\n IN:[]\n OUT:[]\n GEN:[]\n KILL:[TEMP$2]" shape=diamond]
true_branch12 -> after_if14
true_branch12 -> true_branch13
true_branch13 [fontsize=8 label="true_branch13\n IN:[]\n OUT:[]\n GEN:[]\n KILL:[TEMP$3]"]
true_branch13 -> after_if14
after_if14 [fontsize=8 label="after_if14\n IN:[]\n OUT:[]\n GEN:[]\n KILL:[]" shape=diamond]
after_if14 -> after_if16
after_if14 -> true_branch15
true_branch15 [fontsize=8 label="true_branch15\n IN:[]\n OUT:[]\n GEN:[]\n KILL:[TEMP$4]"]
true_branch15 -> after_if16
after_if16 [fontsize=8 label="after_if16\n IN:[]\n OUT:[]\n GEN:[]\n KILL:[]"]
after_if16 -> after_if17
after_if17 [fontsize=8 label="after_if17\n IN:[]\n OUT:[]\n GEN:[]\n KILL:[]"]
after_if17 -> nbody_Semaphore_signal_end
}