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