Work in progress!
class B feature f: INTEGER g is do f := f + 1 end end
class D inherit {NONE} B rename f as f_1, g as g_1 end B rename f as f_2, g as g_2 end feature end