let do_wp_checks () =
  match Wpo.language_of_name (Wp_parameters.Check.get ()) with
    | None -> ()
    | Some lang ->
        let server = Prover.server () in
        try
          Wpo.iter ~on_goal:(do_wp_check server lang) () ;
          Task.launch server ;
        with e ->
          Task.cancel_all server ;
          raise e