Predicate hasRawIndirectOperand
Holds if the (operand, indirectionIndex) columns should be
assigned a RawIndirectOperand value.
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternalspredicate hasRawIndirectOperand(Operand op, int indirectionIndex)