class TEST
create
	make
feature
	make
		do
			if attached Current as c and Current ~ Current implies c = Current then end
		end
end