let proved id =
let status = Properties_status.get_all (property_of_id id) in
let rec is_checked l = match l with
| [] -> false
| (Checked { valid = True })::_ -> true
| (Checked _)::tl -> is_checked tl
| Unknown::tl -> is_checked tl
in
is_checked status