Member predicate TaintTracking::AdditionalValueStep::step

Holds if the step from node1 to node2 is a value-preserving step and should apply to all data flow configurations.