import python

select count(BasicBlock b1, BasicBlock b2 |
    b1 = b2.getImmediateDominator+() and not b1.strictlyDominates(b2)
  ),
  count(BasicBlock b1, BasicBlock b2 |
    not b1 = b2.getImmediateDominator+() and b1.strictlyDominates(b2)
  )