Predicate hasInstructionWithMissingSuccessor
Holds if f has an instruction with a missing successor.
This matches instructionWithoutSuccessor from IRConsistency, but
avoids generating the error strings.
Import path
import semmle.code.cpp.ir.implementation.unaliased_ssa.internal.reachability.ReachableBlockpredicate hasInstructionWithMissingSuccessor(IRFunction f)