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