Member predicate DataFlow::AdditionalTypeTrackingStep::loadStep

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

predicate loadStep(Node pred, Node succ, string prop)