Interesting, thanks for all the info. >Obviously, if you have a JIT-compiler, then something similar happens internally in that some methods will be compiled,

Interesting, thanks for all the info. >Obviously, if you have a JIT-compiler, then something similar happens internally in that some methods will be compiled, while others will be left in IR form (and sometimes, methods will even revert to using their IR). I was going to say (in my parent comment to which you replied) that maybe that Eiffel's Melting Ice tech is something like Java JIT tech, but wasn't sure if they were the same thing.