Predicate signature InputSig::defaultAdditionalTaintStep

Holds if the additional step from src to sink should be included in all global taint flow configurations.

signature predicate defaultAdditionalTaintStep(Node src, Node sink, string model)