digraph Method {
rankdir=LR
signal [fontsize=8 name="signal" shape=trapezium]
signal -> signal_top44
signal_top44 [fontsize=8 label="signal_top44\n IN:[]\n OUT:[]\n GEN:[]\n KILL:[TEMP$0, TEMP$1]" shape=diamond]
signal_top44 -> true_branch45
signal_top44 -> false_branch47
true_branch45 [fontsize=8 label="true_branch45\n IN:[]\n OUT:[]\n GEN:[]\n KILL:[TEMP$0, s, TEMP$3, TEMP$2]"]
true_branch45 -> after_if46
after_if46 [fontsize=8 label="after_if46\n IN:[]\n OUT:[]\n GEN:[]\n KILL:[]"]
after_if46 -> nbody_SimEngine_signal_end
false_branch47 [fontsize=8 label="false_branch47\n IN:[]\n OUT:[]\n GEN:[]\n KILL:[]"]
false_branch47 -> after_if46
}