PR# 20004 Once classes: non-separate inspect expression

In the example below, the system compiles fine in SCOOP mode, but it hangs at execution.
Replacing:

```eiffel
inspect b
...
end
```

with:

```eiffel
separate b as sb do
   inspect sb
   ...
   end
end
```

solves the problem. I think that the issue is that internally the inspect-instruction needs to access some properties of the object attached to `b` (like a qualified call would do). So the inspect expression of the inspect-instruction needs to be controlled (as if it was the target of a qualified call).

--
Eric Bezault

class AA

create

	make

feature

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

create

	f

feature

	f
		once
		end

end