ClemsonRSRG/RESOLVE — pull request #72 by yushan87 (2013-10-18 14:44:17+00:00)
Title: Prover Fixes

- fixes the problem where the prover crashes when there are no givens for a particular VC
- replaced formals with actuals for VCs involving Facility Declarations inside a Enhancement Realization