let sort_to_string (sort: sort) : string =
  match sort with
    | Predicate -> "Predicate"
    | Function -> "Function"
    | Skolem -> "Skolem"
    | Connection -> "Connection"
    | FD_Relation -> "FD_Relation"
    | FD_Size_Marker -> "FD_Size_Marker"
    | FD_Element -> "FD_Element"
    | FD_Symbol -> "FD_Symbol"