Annotate tail recursive method

By adding this annotation we are sure the compiler sees this
optimization which could save our lives with big synchronization
sessions.