Holds if node should be an IndirectInstruction that maps node.asIndirectExpr() to e.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtilpredicate indirectExprNodeShouldBeIndirectInstruction(IndirectInstruction node, Expr e, int n, int indirectionIndex)