Function inner_delete_state_snapshots 

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