I lied in the previous commit. Now the true goal vcs should be completely gone...
Merge pull request #134 from yushan87/vcgen-bug-fixes

True Goal VCs -> Gone
local operations passed as an argument to realizations no longer crashes
Translator fix for operations passed as parameters to realizations
Merge pull request #135 from yushan87/cpsc372fixes

Cpsc372fixes