let do_wp_check server prover g =
 Task.spawn server (Prover.check ~callout:do_wpo_feedback g prover)