expanded class TEST2
feature
	x: TEST1 [INTEGER]
end