Makes trivial infinite loops (constant condition, empty body) well-defined instead of undefined (DR).