(= cd2d__omega_vv__on_D?__Product__Out1 cd2d__omega_vv__on_D?__Product__In1)
(= cd2d__omega_vv__on_D?__RelationalOperator__In1 cd2d__omega_vv__on_D?__RelationalOperator__In2)
(= cd2d__omega_vv__on_D?__sqv_v__In1 cd2d__omega_vv__on_D?__sqv_v__In2)

(= cd2d__omega_vv__on_D?__Out1__In1 cd2d__omega_vv__on_D?__RelationalOperator__Out1)
(= cd2d__omega_vv__on_D?__RelationalOperator__In1 cd2d__omega_vv__on_D?__sqv_v__Out1)
(= cd2d__omega_vv__on_D?__Product__In1 cd2d__omega_vv__on_D?__D__Out1)
(= cd2d__omega_vv__on_D?__Product__In2 cd2d__omega_vv__on_D?__D__Out1)
(= cd2d__omega_vv__on_D?__sqv_v__In1 cd2d__omega_vv__on_D?__In1__Out1)
(= cd2d__omega_vv__on_D?__sqv_v__In2 cd2d__omega_vv__on_D?__In1__Out1)
(= cd2d__omega_vv__on_D?__RelationalOperator__In2 cd2d__omega_vv__on_D?__Product__Out1)


