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 cvdwm (copab (λ x0 x1 . wex (λ x2 . wne (cin (crn (cfv (cv x0) cvdwa)) (cpw (cima (ccnv (cv x1)) (csn (cv x2))))) c0))).