Detects tail recursive methods without @tailrec annotation which verifies that the method will be compiled with tail call optimization.