Add tailrec annotation.