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