add tailrec annotations