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 cphi (cmpt (λ x0 . cn) (λ x0 . cfv (crab (λ x1 . wceq (co (cv x1) (cv x0) cgcd) c1) (λ x1 . co c1 (cv x0) cfz)) chash)).