VSW: added more loop invariant examples
VSW: added more loop invariant examples