class TEST
create
	make
feature
	
	make
		do
			if value (attached {TEST2} Current as x and then attached {TEST3} Current as x) then
			end
			if attached {BOOLEAN} (attached {TEST2} Current as x and then attached {TEST3} Current as x) then
			end
		end

	value (b: BOOLEAN): BOOLEAN
		do
		end

end