let
topify_arith_origin t =
create
(get_flags t)
(
V
.topify_arith_origin (get_v t))