Holds if instr is part of a cycle in the operand graph that doesn’t go
through a phi instruction and therefore should be impossible.
For performance reasons, this predicate is not implemented (never holds) for the SSA stages of the IR.
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.internal.SSAConstructionpredicate isInCycle(Instruction instr)