We should make it possible to deviate the invalid loop condition rule on the first line of the loop, rather than the end.