Tail recursion optimization
Apply recursion-tail checks only on annotated methods