let is_proved pf = try Array.iter (fun r -> if r<>Complete then raise Exit) pf.proved ; true with Exit -> false