let is_interp_const = function
  | App((Arith _ | Bv _ ), []) -> true
  | _ -> false