Apply df_salgen__df_sumge0__df_mea__df_ome__df_caragen__df_ovoln__df_voln__df_smblfn__df_dfat__df_afv__df_aov__df_nelbr__df_iccp__df_pfx__df_fmtno__df_even__df_odd__df_gbe with
wceq cvoln (cmpt (λ x0 . cfn) (λ x0 . cres (cfv (cv x0) covoln) (cfv (cfv (cv x0) covoln) ccaragen))).