For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
Holds if this block immediately dominates block.
Block A immediate dominates block B if block A strictly dominates block B and block B
is a direct successor of block A.
predicate immediatelyDominates(IRBlock block)