Use a sub_info to optimize branches
Use a sub_info to optimize branches

Create a new sub_info for each branch to hold the type information of the local variables, instead of handling the types manually.

mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket