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