let
empty = {
cvars =
Vmap
.empty ;
roots =
Imap
.empty ;
bases = [] ;
}