sig
  type part =
      B of Cil_types.behavior
    | K of Cil_types.kernel_function
    | A of string
    | I of Cil_types.identified_predicate
    | P of Cil_types.predicate
    | T of Cil_types.term
    | S of Cil_types.stmt
  val is_name : string -> bool
  val join : string list -> string
  val string_of_part : Property_names.part -> string
  val string_of_parts : Property_names.part list -> string
  val parts_of_property : Property.t -> Property_names.part list
end