Predicate bbIPostDominates
Holds if dom is an immediate post-dominator of bb.
Import path
import semmle.code.cil.BasicBlock
predicate
bbIPostDominates
(
BasicBlock
dom
,
BasicBlock
bb
)