class TEST
create
	make
feature
	
	make is
		do
			if weasel /= Void and stoat /= Void then
			end
			if weasel < stoat then
			end
			if weasel (stoat) then
			end
			if weasel /= Void and precursor then
			end
			if weasel < precursor then
			end
			if weasel (precursor) then
			end
		end

end