let plet_expansion p =
   expp Vmap.empty (ref 0) p