class TEST3 [G, H] inherit TEST1 [H] redefine f end feature f do end end