digraph Method {
rankdir=LR
move [fontsize=8 name="move" shape=trapezium]
move -> move_top49
move_top49 [fontsize=8 label="move_top49\n IN:[]\n OUT:[ax, radius, mass, y, ay, sticky, size, x]\n GEN:[ax, radius, mass, y, ay, sticky, size, x]\n KILL:[TEMP$0]" shape=diamond]
move_top49 -> false_branch52
move_top49 -> true_branch50
true_branch50 [fontsize=8 label="true_branch50\n IN:[ax, radius, mass, y, ay, sticky, size, x]\n OUT:[ax, radius, mass, y, ay, sticky, size, x]\n GEN:[]\n KILL:[]"]
true_branch50 -> after_if51
after_if51 [fontsize=8 label="after_if51\n IN:[ax, radius, mass, y, ay, sticky, size, x]\n OUT:[radius, ax, x, y, sticky, ay, jj, mass, size]\n GEN:[jj, y, x]\n KILL:[]"]
after_if51 -> while_test53
false_branch52 [fontsize=8 label="false_branch52\n IN:[ax, radius, mass, y, ay, sticky, size, x]\n OUT:[ax, radius, mass, y, ay, sticky, size, x]\n GEN:[]\n KILL:[]"]
false_branch52 -> after_if51
while_test53 [fontsize=8 label="while_test53\n IN:[radius, ax, x, y, sticky, ay, jj, mass, size]\n OUT:[radius, ax, x, y, sticky, ay, jj, mass, size]\n GEN:[]\n KILL:[]" shape=diamond]
while_test53 -> after_while62
while_test53 -> while_body54
while_body54 [fontsize=8 label="while_body54\n IN:[radius, ax, x, y, sticky, ay, jj, mass, size]\n OUT:[radius, ax, x, y, sticky, ay, jj, mass, size]\n GEN:[]\n KILL:[TEMP$1]" shape=diamond]
while_body54 -> after_if61
while_body54 -> true_branch55
true_branch55 [fontsize=8 label="true_branch55\n IN:[radius, ax, x, y, sticky, ay, jj, mass, size]\n OUT:[dy, dx, radius, ax, body, x, y, sticky, ay, jj, mass, rad, size]\n GEN:[dx, body, rad, dy]\n KILL:[TEMP$5, TEMP$4, TEMP$8, TEMP$3, TEMP$6, TEMP$7, TEMP$2]" shape=diamond]
true_branch55 -> after_if60
true_branch55 -> true_branch56
true_branch56 [fontsize=8 label="true_branch56\n IN:[dy, dx, radius, ax, body, x, y, sticky, ay, jj, mass, rad, size]\n OUT:[dy, dx, radius, ax, body, x, y, sticky, ay, jj, mass, rad, size]\n GEN:[]\n KILL:[]" shape=diamond]
true_branch56 -> false_branch59
true_branch56 -> true_branch57
true_branch57 [fontsize=8 label="true_branch57\n IN:[dy, dx, radius, ax, body, x, y, sticky, ay, jj, mass, rad, size]\n OUT:[dy, dx, radius, ax, body, x, y, sticky, ay, jj, mass, rad, size]\n GEN:[ax, ay]\n KILL:[TEMP$5, TEMP$4, TEMP$3, tempy, tempx, force]"]
true_branch57 -> after_if58
after_if58 [fontsize=8 label="after_if58\n IN:[dy, dx, radius, ax, body, x, y, sticky, ay, jj, mass, rad, size]\n OUT:[dy, dx, radius, ax, body, x, y, sticky, ay, jj, mass, rad, size]\n GEN:[]\n KILL:[]"]
after_if58 -> after_if60
false_branch59 [fontsize=8 label="false_branch59\n IN:[dy, dx, radius, ax, body, x, y, sticky, ay, jj, mass, rad, size]\n OUT:[dy, dx, radius, ax, body, x, y, sticky, ay, jj, mass, rad, size]\n GEN:[ax, ay]\n KILL:[TEMP$5, TEMP$4, TEMP$3, tempy, TEMP$6, tempx, force]"]
false_branch59 -> after_if58
after_if60 [fontsize=8 label="after_if60\n IN:[dy, dx, radius, ax, body, x, y, sticky, ay, jj, mass, rad, size]\n OUT:[radius, ax, x, y, sticky, ay, jj, mass, size]\n GEN:[ax, ay]\n KILL:[TEMP$5, dx, g, TEMP$4, TEMP$3, body, rad, dy]"]
after_if60 -> after_if61
after_if61 [fontsize=8 label="after_if61\n IN:[radius, ax, x, y, sticky, ay, jj, mass, size]\n OUT:[radius, ax, x, y, sticky, ay, jj, mass, size]\n GEN:[jj]\n KILL:[]"]
after_if61 -> while_test53
after_while62 [fontsize=8 label="after_while62\n IN:[radius, ax, x, y, sticky, ay, jj, mass, size]\n OUT:[radius, mass, jj, sticky, size]\n GEN:[]\n KILL:[ax, y, ay, TEMP$9, x]"]
after_while62 -> nbody_Body_move_end
}