Hi Klaus, Bryce,

thank you for your comments!

Klaus, I'm afraid I don't have the amount of control over the methods
that would be needed to make them declare a new local variable. Since
the idea of AOP is, to a certain extent, to impose aspectual behaviour
on functionality that is not necessarily aware of such extensions,
preparing methods for it would break the programming model.
Nevertheless, thanks for the solution.

Bryce, you're right; a modified VM of course means that the images
can't run on other VMs. That's "ok" from my perspective. The
Interpreter>>activateNewMethod method is a good hint, thanks! I'll see
if I can find another solution that doesn't imply changes to the VM.

Best,

Michael