fn push_shrink_progress_call( message: &mut String, tx: &BasicTxDetails, identified_contracts: Option<&ContractsByAddress>, show_solidity: bool, )