class TEST1 [G]
feature
	x: G

	y: like {TEST1 [G]}.x
end