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