deferred class
	A

feature {NONE} -- Tests

	ff1 (a: ?ANY)
		require
			False
		do
		end

	ff2 (a: ?ANY)
		require
			False
		do
		end

	ff3 (a: ?ANY)
		require
			False
		do
		end

	fp1 (a: ?ANY)
		require
			a /= Void
		do
		end

	fp2 (a: ?ANY)
		require
			a /= Void
		do
		end

	fp3 (a: ?ANY)
		require
			a /= Void
		do
		end

end