Added more loop invariants tests