Member predicate Assertion::strictlyDominates

Holds if this assertion strictly dominates basic block bb. That is, bb can only be reached from the callable entry point by going via some basic block containing this element.

This predicate is different from this.getAControlFlowNode().getBasicBlock().strictlyDominates(bb) in that it takes control flow splitting into account.

predicate strictlyDominates(BasicBlock bb)