proper treatment of protocol exceptions and prover termination: avoid session.stop while saving image;