Tail recursion optimization
More tests
Fixed bug in finally tal generation