FAILURE: Proof image NOT found in output.