Apply df_mpl__df_ltbag__df_opsr__df_evls__df_evl__df_mhp__df_psd__df_selv__df_algind__df_psr1__df_vr1__df_ply1__df_coe1__df_toply1__df_evls1__df_evl1__df_psmet__df_xmet with
wceq cpl1 (cmpt (λ x0 . cvv) (λ x0 . co (cfv (cv x0) cps1) (cfv (co c1o (cv x0) cmpl) cbs) cress)).