Member predicate TaintTracking::AdditionalStoreStep::step

Holds if the step from node1 to node2 is a store step of c and should apply to all data flow configurations.