PR# 20001 Once classes: invalid inspect value: procedure not available for creation

The validity rule VOMB-1 says that the inspect values should be valid.
In the example below, the inspect value `{BB}.g` (which is a short notation for `create {BB}.g`) is not valid because `g` is not available for creation to class `AA`.

--
Eric Bezault

class AA

create

	make

feature

	make
		local
			b: BB
		do
			create b.f
			inspect b
			when {BB}.g then
			else
			end
		end
	
end
~~~~~~~~~~~~~~~
once class BB

create

	f

create {BB}

	g

feature

	f
		once
		end

	g
		once
		end

end