Changed wands test case loop_insert.sil: Removed an assume and added a missing loop invariant. I assume that the latter was previously not necessary due to bugs in Wands-Silicon (see commit 9c9486c3c93d, maybe also c7a5e948f8e2).
Changed wands test case loop_insert.sil: Removed an assume and added a missing loop invariant. I assume that the latter was previously not necessary due to bugs in Wands-Silicon (see commit 9c9486c3c93d, maybe also c7a5e948f8e2).

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