Some fixes for the DPOR state-reducer.