Member predicate DataFlow::AdditionalTypeTrackingStep::storeStep

Holds if type-tracking should step from pred into the prop property of succ.

predicate storeStep(Node pred, SourceNode succ, string prop)