Predicate bbStrictlyPostDominates
Holds if postDominator is a strict post-dominator of node in the control-flow
graph of basic blocks. Being strict means that postDominator != node.
Import path
import semmle.code.cpp.controlflow.Dominancepredicate bbStrictlyPostDominates(BasicBlock postDominator, BasicBlock node)