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