let kind_of_property = function
  | Property.IPCodeAnnot _ -> "annotation"
  | Property.IPPredicateProperty.PKRequires _ , _ , Kglobal , _ ) -> "preconditions for callers"
  | _ -> "property"