class
	TEST1

feature
	f
		local
			a: ANY
		do
			if a /= Void then
			end
		end

end