Is your code available somewhere?

Also, you should submit your changes as pull requests for the compiler.

I just pushed them to https://github.com/gus-massa/racket-branches/tree/gus . It’s based on an old commit, because I had to do all the tests in a fixed version do the comparisons.

Awesome! I'll look into merging this.

Do you have a full version of your bytecode analysis code as well?