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.

predicate step(Node node1, Content c, Node node2)