Added more loop invariant examples