Predicate localAdditionalTaintStep
Holds if the additional step from pred to succ should be included in all
global taint flow configurations.
Import path
import semmle.go.dataflow.internal.TaintTrackingUtilpredicate localAdditionalTaintStep(Node pred, Node succ, string model)