Predicate LocalFlow::localFlowSsaInputFromRead
Holds if read is a last node reading SSA definition def, which
can reach next.
Import path
import semmle.code.csharp.dataflow.internal.DataFlowPrivatepredicate localFlowSsaInputFromRead(Node read, DefinitionExt def, SsaInputDefinitionExtNode next)