let is_uninterp = function
  | App(Sym.Uninterp _, _) -> true
  | _ -> false