Do not generate unused local variables.
Add a flag to disable optimizations.
Add another code generation test for overriding.
Take the this reference into account when calculating formal parameter indices already in the analysis phase.
Optimize unconditional jumps.