(= sldemo_clutch_if__Locked__EngineDamping__Out1 sldemo_clutch_if__Locked__EngineDamping__Constant)
(= sldemo_clutch_if__Locked__EngineVehicleIntegrator__Out1 sldemo_clutch_if__Locked__EngineVehicleIntegrator__In1)
(assert+ (= sldemo_clutch_if__Locked__EngineVehicleIntegrator__Out1 sldemo_clutch_if__Locked__EngineVehicleIntegrator__In2))
(= sldemo_clutch_if__Locked__Inertia__Out1 sldemo_clutch_if__Locked__Inertia__Constant)
(= sldemo_clutch_if__Locked__Sum__Out1 sldemo_clutch_if__Locked__Sum__In1)
(= sldemo_clutch_if__Locked__Sum__In1 sldemo_clutch_if__Locked__Sum__In2))
(= sldemo_clutch_if__Locked__Sum__In1 sldemo_clutch_if__Locked__Sum__In3))
(= sldemo_clutch_if__Locked__VehicleDamping__Out1 sldemo_clutch_if__Locked__VehicleDamping__Constant)

(= sldemo_clutch_if__Locked__EngineVehicleIntegrator__In1 sldemo_clutch_if__Locked__Inertia__Out1)
(= sldemo_clutch_if__Locked__EngineVehicleIntegrator__In2 sldemo_clutch_if__Locked__w0__Out1)
(= sldemo_clutch_if__Locked__Goto__In1 sldemo_clutch_if__Locked__EngineVehicleIntegrator__Outstate)
(= sldemo_clutch_if__Locked__Sum__In3 sldemo_clutch_if__Locked__EngineDamping__Out1)
(= sldemo_clutch_if__Locked__Sum__In1 sldemo_clutch_if__Locked__Tin__Out1)
(= sldemo_clutch_if__Locked__Sum__In2 sldemo_clutch_if__Locked__VehicleDamping__Out1)
(= sldemo_clutch_if__Locked__Inertia__In1 sldemo_clutch_if__Locked__Sum__Out1)
(= sldemo_clutch_if__Locked__w__In1 sldemo_clutch_if__Locked__Omega)
(= sldemo_clutch_if__Locked__EngineDamping__In1 sldemo_clutch_if__Locked__Omega)
(= sldemo_clutch_if__Locked__VehicleDamping__In1 sldemo_clutch_if__Locked__Omega)
(= sldemo_clutch_if__Locked__Omega sldemo_clutch_if__Locked__EngineVehicleIntegrator__Out1)
(= sldemo_clutch_if__Locked__w__In1 sldemo_clutch_if__Locked__EngineVehicleIntegrator__Out1)
(= sldemo_clutch_if__Locked__EngineDamping__In1 sldemo_clutch_if__Locked__EngineVehicleIntegrator__Out1)
(= sldemo_clutch_if__Locked__VehicleDamping__In1 sldemo_clutch_if__Locked__EngineVehicleIntegrator__Out1)


