Predicate basicLocalFlowStep
Holds if data flows from nodeFrom to nodeTo in exactly one local
(intra-procedural) step, not taking function models into account.
Import path
import semmle.go.dataflow.internal.DataFlowPrivatepredicate basicLocalFlowStep(Node nodeFrom, Node nodeTo)