Fix display of errors in prover
Merge pull request #584 from david-christiansen/error-reflection

Fix display of errors in prover