Member predicate TaintTracking::AdditionalReadStep::step

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

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