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