SONARJAVA-797 RSPEC-2252 Loop invariants should be true at least once