Predicate simpleLocalFlowStep
This is the local flow predicate that is used as a building block in global data flow. It excludes SSA flow through instance fields, as flow through fields is handled by the global data-flow library, but includes various other steps that are only relevant for global flow.
Import path
import semmle.code.csharp.dataflow.internal.DataFlowPrivatepredicate simpleLocalFlowStep(Node nodeFrom, Node nodeTo, string model)