Apply df_odz__df_phi__df_pc__df_gz__df_vdwap__df_vdwmc__df_vdwpc__df_ram__df_prmo__df_struct__df_ndx__df_slot__df_base__df_sets__df_ress__df_plusg__df_mulr__df_starv with
wceq cgz (crab (λ x0 . wa (wcel (cfv (cv x0) cre) cz) (wcel (cfv (cv x0) cim) cz)) (λ x0 . cc)).