PR# 19437 [er] VUCR not reported for arguments of creation procedures

The compiler correctly reports a VUCR error with the following code:

~~~~~~~~~~~~~~~~
	f
		do
			g
		ensure
			class_feature: class
		end

	g
		do
		end
~~~~~~~~~~~~~~~~

but not for this one:

~~~~~~~~~~~~~~~~
	f: X
		do
			create Result.make (g)
		ensure
			class_feature: class
		end

	g: INTEGER
		do
		end
~~~~~~~~~~~~~~~~

--
Eric Bezault

Added test#free025.
Fixed in rev#102586 of EiffelStudio 19.05 intermediate release.