digraph dominatorTree {
  label="nonShortCircuitMethod"
  "D(-1)" [style=filled]
  "D(10)"
  "D(20)"
  "D(-2)"
  "D(17)"
  "D(0)"
  "D(28)"
  "D(24)"
  "D(7)"
  "D(5)"
  "D(15)"
  "D(10)" -> "D(20)"
  "D(20)" -> "D(-2)"
  "D(10)" -> "D(17)"
  "D(-1)" -> "D(0)"
  "D(20)" -> "D(28)"
  "D(20)" -> "D(24)"
  "D(0)" -> "D(7)"
  "D(0)" -> "D(10)"
  "D(0)" -> "D(5)"
  "D(10)" -> "D(15)"
}