(= sldemo_enginewc__valvetiming__TDCandBDCdetection__GetCrankAngleIC0__Out1 sldemo_enginewc__valvetiming__TDCandBDCdetection__GetCrankAngleIC0__In1)
(= sldemo_enginewc__valvetiming__TDCandBDCdetection__RelationalOperator__In1 sldemo_enginewc__valvetiming__TDCandBDCdetection__RelationalOperator__In2)

(= sldemo_enginewc__valvetiming__TDCandBDCdetection__RelationalOperator__In2 sldemo_enginewc__valvetiming__TDCandBDCdetection__Constant__Out1)
(= sldemo_enginewc__valvetiming__TDCandBDCdetection__GetCrankAngleIC0__In1 sldemo_enginewc__valvetiming__TDCandBDCdetection__N__Out1)
(= sldemo_enginewc__valvetiming__TDCandBDCdetection__RelationalOperator__In1 sldemo_enginewc__valvetiming__TDCandBDCdetection__GetCrankAngleIC0__Outstate)
(= sldemo_enginewc__valvetiming__TDCandBDCdetection__GetCrankAngleIC0__In2 sldemo_enginewc__valvetiming__TDCandBDCdetection__RelationalOperator__Out1)
(= sldemo_enginewc__valvetiming__TDCandBDCdetection__Terminator__In1 sldemo_enginewc__valvetiming__TDCandBDCdetection__GetCrankAngleIC0__Out1)


