mutable sigma : id VMAP.t = VMAP.empty