let
refresh_current_wpo = ref (
None
: (
Wpo
.t * (prover * result) list) option)