let iter f = Stmt.Hashtbl.iter f states