add case for underspecified stack state (rule RHS has more elements than the stack state it is supposed to apply at)

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)