Add tail recursion fact