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