Predicate Dominance::bbStrictlyDominates

Holds if dom strictly dominates node.

predicate bbStrictlyDominates(BasicBlock dom, BasicBlock node)