Predicate DataFlow::SharedFlowStep::step

DEPRECATED. The FlowLabel class and steps involving flow labels are no longer used by any queries.

Holds if pred → succ should be considered a data flow edge transforming values with label predlbl to have label succlbl.