Add @tailrec annotation in Scala post