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