Function inner_snapshot_state

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