RANDOMIZED_RESET is changed to DERANDOMIZED_RESET: the default behave should be random reset