Member predicate AdditionalTaintStep::step

Holds if the step from nodeFrom to nodeTo should be considered a taint step for all configurations.

Note that it is now possible to also specify provenance of the taint step by overwriting step/3.