Predicate LocalFlow::localSsaFlowStep
Holds if there is a local flow step from nodeFrom to nodeTo involving
SSA definition def.
Import path
import semmle.code.csharp.dataflow.internal.DataFlowPrivatepredicate localSsaFlowStep(DefinitionExt def, Node nodeFrom, Node nodeTo)