digraph Method {
rankdir=LR
constructor [fontsize=8 name="constructor" shape=trapezium]
constructor -> constructor_top3
constructor_top3 [fontsize=8 label="constructor_top3\n IN:[]\n OUT:[isBot, isTop, eng]\n GEN:[isBot, isTop, eng]\n KILL:[]" shape=diamond]
constructor_top3 -> true_branch4
constructor_top3 -> after_if5
true_branch4 [fontsize=8 label="true_branch4\n IN:[isBot, isTop, eng]\n OUT:[isBot, isTop, eng]\n GEN:[]\n KILL:[]"]
true_branch4 -> after_if5
after_if5 [fontsize=8 label="after_if5\n IN:[isBot, isTop, eng]\n OUT:[]\n GEN:[]\n KILL:[isBot, isTop, eng]"]
after_if5 -> nbody_Semaphore_constructor_end
}