class
	TEST5

inherit
	TEST3
		rename
			infix "<" as infix "<"
		end

	TEST4
		undefine
			infix "<"
		end
		
end