digraph dominatorTree {
label="doWhileMethod"
"D(-1)" [style=filled]
"D(0)"
"D(18)"
"D(-2)"
"D(4)"
"D(-1)" -> "D(0)"
"D(18)" -> "D(-2)"
"D(4)" -> "D(18)"
"D(0)" -> "D(4)"
}