A data flow edge that should be added to all data flow configurations in addition to standard data flow edges.
This class is a singleton, and thus subclasses do not need to specify a characteristic predicate.
Note: For performance reasons, all subclasses of this class should be part
of the standard library. Override
for analysis-specific flow steps.