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