PR# 20002 Once classes: invalid inspect value: one-per-process creation procedure with non-separate type

The validity rule VOMB-1 says that the inspect values should be valid.
In the example below, the inspect value `{BB}.f` is not valid because `f` is a once-per-process creation procedure but the creation type `BB` is not separate.

--
Eric Bezault

class AA

create

	make

feature

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

create

	f

feature

	f
		once ("PROCESS")
		end

end