(= sldemo_clutch_if__Unlocked__E_Sum__Out1 sldemo_clutch_if__Unlocked__E_Sum__In1)
(= sldemo_clutch_if__Unlocked__E_Sum__In1 sldemo_clutch_if__Unlocked__E_Sum__In2))
(= sldemo_clutch_if__Unlocked__E_Sum__In1 sldemo_clutch_if__Unlocked__E_Sum__In3))
(= sldemo_clutch_if__Unlocked__EngineDamping__Out1 sldemo_clutch_if__Unlocked__EngineDamping__Constant)
(= sldemo_clutch_if__Unlocked__EngineInertia__Out1 sldemo_clutch_if__Unlocked__EngineInertia__Constant)
(= sldemo_clutch_if__Unlocked__EngineIntegrator__Out1 sldemo_clutch_if__Unlocked__EngineIntegrator__In1)
(assert+ (= sldemo_clutch_if__Unlocked__EngineIntegrator__Out1 sldemo_clutch_if__Unlocked__EngineIntegrator__In2))
(= sldemo_clutch_if__Unlocked__MaxDynamicFrictionTorque__Out1 sldemo_clutch_if__Unlocked__MaxDynamicFrictionTorque__In1)
(= sldemo_clutch_if__Unlocked__V_Sum__Out1 sldemo_clutch_if__Unlocked__V_Sum__In1)
(= sldemo_clutch_if__Unlocked__V_Sum__In1 sldemo_clutch_if__Unlocked__V_Sum__In2))
(= sldemo_clutch_if__Unlocked__VehicleDamping__Out1 sldemo_clutch_if__Unlocked__VehicleDamping__Constant)
(= sldemo_clutch_if__Unlocked__VehicleInertia__Out1 sldemo_clutch_if__Unlocked__VehicleInertia__Constant)
(= sldemo_clutch_if__Unlocked__VehicleIntegrator__Out1 sldemo_clutch_if__Unlocked__VehicleIntegrator__In1)
(assert+ (= sldemo_clutch_if__Unlocked__VehicleIntegrator__Out1 sldemo_clutch_if__Unlocked__VehicleIntegrator__In2))
(= sldemo_clutch_if__Unlocked__W_Slip__Out1 sldemo_clutch_if__Unlocked__W_Slip__In1)
(= sldemo_clutch_if__Unlocked__W_Slip__In1 sldemo_clutch_if__Unlocked__W_Slip__In2))

(= sldemo_clutch_if__Unlocked__MaxDynamicFrictionTorque__In1 sldemo_clutch_if__Unlocked__Tfmaxk__Out1)
(= sldemo_clutch_if__Unlocked__EngineIntegrator__In2 sldemo_clutch_if__Unlocked__w0__Out1)
(= sldemo_clutch_if__Unlocked__VehicleIntegrator__In2 sldemo_clutch_if__Unlocked__w0__Out1)
(= sldemo_clutch_if__Unlocked__VehicleDamping__In1 sldemo_clutch_if__Unlocked__VehicleIntegrator__Out1)
(= sldemo_clutch_if__Unlocked__wv__In1 sldemo_clutch_if__Unlocked__VehicleIntegrator__Out1)
(= sldemo_clutch_if__Unlocked__W_Slip__In2 sldemo_clutch_if__Unlocked__VehicleIntegrator__Out1)
(= sldemo_clutch_if__Unlocked__Goto__In1 sldemo_clutch_if__Unlocked__EngineIntegrator__Outstate)
(= sldemo_clutch_if__Unlocked__EngineInertia__In1 sldemo_clutch_if__Unlocked__E_Sum__Out1)
(= sldemo_clutch_if__Unlocked__E_Sum__In1 sldemo_clutch_if__Unlocked__Tin__Out1)
(= sldemo_clutch_if__Unlocked__MaxDynamicFrictionTorque__In2 sldemo_clutch_if__Unlocked__slipdirection__Out1)
(= sldemo_clutch_if__Unlocked__we__In1 sldemo_clutch_if__Unlocked__EngineIntegrator__Out1)
(= sldemo_clutch_if__Unlocked__EngineDamping__In1 sldemo_clutch_if__Unlocked__EngineIntegrator__Out1)
(= sldemo_clutch_if__Unlocked__W_Slip__In1 sldemo_clutch_if__Unlocked__EngineIntegrator__Out1)
(= sldemo_clutch_if__Unlocked__V_Sum__In1 sldemo_clutch_if__Unlocked__MaxDynamicFrictionTorque__Out1)
(= sldemo_clutch_if__Unlocked__E_Sum__In2 sldemo_clutch_if__Unlocked__MaxDynamicFrictionTorque__Out1)
(= sldemo_clutch_if__Unlocked__E_Sum__In3 sldemo_clutch_if__Unlocked__EngineDamping__Out1)
(= sldemo_clutch_if__Unlocked__VehicleIntegrator__In1 sldemo_clutch_if__Unlocked__VehicleInertia__Out1)
(= sldemo_clutch_if__Unlocked__VehicleInertia__In1 sldemo_clutch_if__Unlocked__V_Sum__Out1)
(= sldemo_clutch_if__Unlocked__Goto1__In1 sldemo_clutch_if__Unlocked__VehicleIntegrator__Outstate)
(= sldemo_clutch_if__Unlocked__slipdirection__In1 sldemo_clutch_if__Unlocked__W_Slip__Out1)
(= sldemo_clutch_if__Unlocked__V_Sum__In2 sldemo_clutch_if__Unlocked__VehicleDamping__Out1)
(= sldemo_clutch_if__Unlocked__EngineIntegrator__In1 sldemo_clutch_if__Unlocked__EngineInertia__Out1)


