Full CSC207 Pictorial Loop Invariants Lab code