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