let is_num = function Arith(Num _), _ -> true | _ -> false