Fix IDESlave reporting of ProofSearchFail