Fix error reflection for ProofSearchFail
Merge pull request #1254 from david-christiansen/error-reflection

Error reflection updates