let check
?(callout=fun _ _ _ -> ())
wpo prover
=
Task.todo
begin
fun () ->
let log = Log.create wpo in
check_by prover log wpo
>>! fun s ->
let r = result s in
Log.close log ;
callout wpo prover r
end