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