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