- getBranchEdge refactoring to make the compiler more lazy
- code generation optimizations