= result for 'A' class A base_simple3::A (lines 29-32) == supers interface Object base_simple3::Object (lines 19-20) == constructors redef init base_simple3::A::init (lines 30-30) == methods fun run base_simple3::A::run (lines 31-31) == refinements