Added positive test test_transitions_with_corrupt_redo_recover_with_only_one_method