+
+redef class AMethPropdef
+ redef fun accept_forward_analysis(v) do
+ v.current_inset = v.new_initial_method_flow(self)
+ v.current_outset = v.current_inset.clone
+ v.insets[self] = v.current_inset
+ visit_all(v)
+ v.outsets[self] = v.current_outset
+ end
+end