let
empty = { cpt =
Smap
.empty ; var =
Vmap
.empty }