sig
  val self : State.t
  val get_prop_basename : Property.identified_property -> string
  val get_prop_name_id : Property.identified_property -> string
end