let fold f = Stmt.Hashtbl.fold f states