Move tail recursion spec