Tail recursion optimization
Reformat if/else if according to JB style
Tail recursion optimization
Refactor tracing code. Move tail recursion detection to the frontend.
Tail recursion optimization
Implement warnings for non-tail recursive calls and annotated functions with no tail recursions found
Tail recursion optimization
Replace null/true/false with enum
Added diagnostics for non-tail recursion cases