Reports any variables and parameters which are used in a loop condition
and are not updated inside the loop. These may cause an infinite loop if executed and
are probably not what was intended.
The option "Ignore possible non-local changes" suppresses warnings if condition can be updated indirectly (via called method
or concurrently from another thread).