Handle the case of a tail recursion in which the tail call is followed