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