Code Quality and Security for Java This SonarSource project is a code analyzer for Java projects to help developers produce Clean Code. Information about the analysis of Java features is available ...

and then this recursive occurrence of ackermann_fuel' confuses the structural recursion code: ...