Holds if op is a use of an SSA variable rooted at base with ind number
of indirections.
certain is true if the operand is guaranteed to read the variable, and
indirectionIndex specifies the number of loads required to read the variable.
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternalsCommon