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