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 cprmo (cmpt (λ x0 . cn0) (λ x0 . cprod (λ x1 . co c1 (cv x0) cfz) (λ x1 . cif (wcel (cv x1) cprime) (cv x1) c1))).