Logged In: YES

I have made some progress on this, checked into CVS.

The last example, i.e. the call to a procedure after
unoptimisation has occurred, now produces exactly the same
error as if the procedure had not been optimised in the
first place, i.e. like the second example.