let topify_with_origin o t =
    create
      (get_flags t)
      (V.topify_with_origin o (get_v t))