Function step_allowed 

pub fn step_allowed(
    from: &TxnState,
    to: &TxnState,
    strategy: RecoveryStrategy,
) -> bool