let
empty_alpha =
Fol
.
Vmap
.empty