let do_wp_proofs () =
  match Wpo.prover_of_name (Wp_parameters.Prover.get ()) with
    | None -> ()
    | Some prover ->
        let server = Prover.server () in
        try
          Wpo.iter ~on_goal:(do_wp_proof server prover) () ;
          Task.launch server ;
          Proof.savescripts () ;
        with e ->
          Task.cancel_all server ;
          raise e