Member predicate DataFlow::SharedTypeTrackingStep::loadStoreStep

Holds if type-tracking should step from the loadProp property of pred to the storeProp property in succ.