records seem to be working.. Further testing needed.
Merge pull request #131 from Welchd1/facility-type-work

Records seem to be working.. Further testing needed.
literals don't crash in the new vc generator
changed the names of the proof rules to be consistent
fixes a crash with empty locations
true goals don't show up in the web interface
Merge pull request #132 from yushan87/vcgen-fixes

Vcgen fixes
now it should stop generating vcs for requires true
Merge pull request #133 from yushan87/minor-fix

now it should stop generating vcs for requires true
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
commiting for upstream merge
Merge remote-tracking branch 'clemson/master'
merging changes for lambda update