EiffelStudio also erroneously claims that `f` is not exported to ZZ in the following cases:

~~~~~~~~~~~~~~~~~~~~~~
class CC

inherit

	BB
		export
			{YY} f
		end

	BB
		export
			{ZZ} f
		end

end
~~~~~~~~~~~~~~~~~~~~~~
class CC

inherit

	BB
		export
			{YY} f
		end

	BB
		export
			{ZZ} all
		end

end
~~~~~~~~~~~~~~~~~~~~~~
class CC

inherit

	BB
		export
			{YY} all
		end

	BB
		export
			{ZZ} all
		end

	ANY

end
~~~~~~~~~~~~~~~~~~~~~~