Predicate signature InputSig::defaultAdditionalTaintStep

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