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