let is_uninterpreted = function
  | App(Uninterp _, _) -> true
  | _ -> false