Function inner_delete_state_snapshots

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