Predicate SourceVariableImpl::variableDefinition
Holds if the ith node of basic block bb is assignable definition ad
targeting source variable v.
Import path
import semmle.code.csharp.dataflow.internal.SsaImplpredicate variableDefinition(BasicBlock bb, int i, SourceVariable v, AssignableDefinition ad)