let is_uninterpreted = function
  | Uninterpreted -> true
  | _ -> false