Test of the state reduction rule