Testing and fixing recursion in analyzer.