Member predicate Configuration::isAdditionalFlowStep

Holds if src -> trg should be considered as a flow edge in addition to standard data flow edges.