Tail recursion in Sacala