introduce intentional non-monotonicity in order to verify that our...

introduce intentional non-monotonicity in order to verify that our normalization scheme for state numbers works correctly (we should also do the same for rule numbers)