Predicate Cached::defaultAdditionalTaintStep
Holds if the additional step from nodeFrom to nodeTo should be included
in all global taint flow configurations.
Import path
import semmle.code.csharp.dataflow.internal.TaintTrackingPrivatepredicate defaultAdditionalTaintStep(Node nodeFrom, Node nodeTo, string model)