Predicate SourceVariableImpl::getASameOutRefDefAfter
Gets an out/ref definition of the same source variable v as the out/ref
definition def, belonging to the same call, at a position after def.
Import path
import semmle.code.csharp.dataflow.internal.SsaImpl