Bugfix: possible-states generation