Better detection of infinite loops
The compiler now detects more cases of potentially infinite loops, when the loop contains calls to procedures, for which it issues a warning.