Bugfix: reset list of state pairs on next k