BUGFIX: removed restriction on 4 states used for debugging