fixes the problem where the prover crashes when there are no givens for a particular VC
Merge pull request #72 from yushan87/prover_fixes

Prover Fixes