-\e[1m# base_simple3::A
-\e[0m
-class \e[32m\e[1mA\e[0m\e[0m super Object
-
-\e[1m## constructors\e[0m
-
- \e[1m\e[32minit\e[0m\e[0m
-
-\e[1m## introduced methods\e[0m
-
- fun \e[1m\e[32mrun\e[0m\e[0m
-
-\e[1m## inherited properties\e[0m
-
- from \e[1mbase_simple3::Object\e[0m: foo, bar, baz
-
----
-
+\e[1m= result for 'A'\e[0m
+
+ class \e[32m\e[1mA\e[0m\e[0m
+ \e[30m\e[1mbase_simple3::A\e[0m\e[0m\e[30m (lines 29-32)\e[0m
+
+ \e[1m== supers\e[0m
+
+ interface \e[32m\e[1mObject\e[0m\e[0m
+ \e[30m\e[1mbase_simple3::Object\e[0m\e[0m\e[30m (lines 19-20)\e[0m
+
+ \e[1m== constructors\e[0m
+
+ redef \e[1m\e[32minit\e[0m\e[0m
+ \e[30m\e[1mbase_simple3::A::init\e[0m\e[0m\e[30m (lines 30-30)\e[0m
+
+ \e[1m== methods\e[0m
+
+ fun \e[1m\e[32mrun\e[0m\e[0m
+ \e[30m\e[1mbase_simple3::A::run\e[0m\e[0m\e[30m (lines 31-31)\e[0m
+
+ \e[1m== refinements\e[0m