015_cashtill: added missing loop invariants.