Work in progress!
class B feature f: INTEGER g do f := f + 1 end end <\code> <code>[eiffel, N] 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 <\code>