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