sig val set_checked : ?descr:string -> Property.t -> Property.t list -> Cil_types.validity -> unit val set_unknown : Property.t -> Property.t list -> unit end