Function base_counterexamples_to_txes 

fn base_counterexamples_to_txes(
    ctx: &ReplayContext<'_>,
    call_sequence: &mut [BaseCounterExample],
) -> Vec<BasicTxDetails>

Converts a persisted counterexample to BasicTxDetails, setting show_solidity in place.