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