let elet_expansion t =
   expt Vmap.empty t