class AA

create

	make

feature

	make
		local
			c: CC
		do
			create c.make
			f (c)
		end

feature {ANY}

	f (c: CC)
		require
			g (c)
		do
			print ("Failed")
		end

	g (b: BB): BOOLEAN
		do
			Result := True
		end

end