let is_interp a =
  match a with
    | App(Arith _, _) -> true
    | _ -> false