class TEST inherit A B redefine f end create make feature {NONE} -- Creation make do end end