Because the initial flow set depends on the analysis performed, the implementation of this method is the responsability the subclass.
# Initial flow set to use.
#
# Because the initial flow set depends on the analysis performed, the
# implementation of this method is the responsability the subclass.
fun new_initial_flow: FLOW is abstract
src/saf/saf_base.nit:53,2--57,39
# New initial flows are empty (conservative analysis).
redef fun new_initial_flow do return new FlowHashSet[VarDef]
src/saf/reaching_defs.nit:26,2--27,61