fn inner_revert_to_state_and_delete( ccx: &mut CheatsCtxt<'_, '_, '_, '_>, snapshot_id: U256, ) -> Result