class AA

create

	make

feature

	make
		do
			f
		end

feature {ANY}

	f
		require
			(agent: BOOLEAN
				local
					b: BB
				do
					create b.make
					Result := True
				end).item ([])
		do
			print ("Failed")
		end

end