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