let d_interp = function
  | Term.App((Sym.Arith(op), _), al, _) -> (op, al)
  | _ -> raise Not_found