minor fix to get Murali's assignment generating VCs
Merge pull request #143 from yushan87/cpsc372-fixes

minor fix to get Murali's assignment generating VCs