Adding test for extreme recursion
Building tail call detector
Creating builtin conditional expression for easier data flow analysis