let is_interp = function
  | App(sym, _, _) when Sym.Array.is sym -> true
  | _ -> false