Function inner_snapshot_state 

fn inner_snapshot_state(ccx: &mut CheatsCtxt<'_, '_, '_, '_>) -> Result