Slightly changed handling of loop invariants to enable finer-grained error reporting
Slightly changed handling of loop invariants to enable finer-grained error reporting

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors