class TEST2
feature
	x: TEST1 [like {TEST1 [BOOLEAN]}.x.default]
end