deeper_hierarchy_arith_Ast