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