expanded class TEST2 [G -> TEST1] feature x: detachable G end