Function archive 

fn archive(
    terminal: &mut BTreeMap<TxnId, TerminalTxn>,
    id: TxnId,
    l: LiveTxn,
    withdrawn_for: Option<TxnId>,
)