let pp_asked_prop fmt config = match config.asked_prop  with
  | AllProps -> Format.fprintf fmt "all properties"
  | NamedProp s ->  Format.fprintf fmt "properties %s" s
  | IdProp p -> Format.fprintf fmt "property %s" (id_prop_txt p)