class TEST2 [G, H] inherit TEST1 [G] redefine make end feature make do Precursor end end