let empty_alpha = Fol.Vmap.empty