changes the files a little bit so the new VC generator can generate VCs
Merge pull request #37 from yushan87/cpsc372-fixes

changes the files a little bit so the new VC generator can generate VCs