For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
Holds if this block strictly dominates block.
Block A strictly dominates block B if block A dominates block B and blocks A and B
are not the same block.
predicate strictlyDominates(IRBlock block)