gustafn
committed
on 22 Oct 19
factor out loop invariants