;; (define-type dim (record time::int length::int mass::int))

(define-block
  sldemo_enginewc__Combustion


  (
    sldemo_enginewc__Combustion__AirCharge__Out1_1_1
    sldemo_enginewc__Combustion__N__Out1_1_1
    sldemo_enginewc__Combustion__Torque__In1_1_1
  )

  (
    sldemo_enginewc__Combustion__Mux__In1_1_1
    sldemo_enginewc__Combustion__Mux__In2_1_1
    sldemo_enginewc__Combustion__Mux__In3_1_1
    sldemo_enginewc__Combustion__Mux__In4_1_1
    sldemo_enginewc__Combustion__Mux__Out1_1_1
    sldemo_enginewc__Combustion__Mux__Out1_2_1
    sldemo_enginewc__Combustion__Mux__Out1_3_1
    sldemo_enginewc__Combustion__Mux__Out1_4_1
    sldemo_enginewc__Combustion__SparkAdvance_degrees_BTDC__Out1_1_1
    sldemo_enginewc__Combustion__StoichiometricFuel__In1_1_1
    sldemo_enginewc__Combustion__StoichiometricFuel__Out1_1_1
    sldemo_enginewc__Combustion__StoichiometricFuel__Constant_1_1
    sldemo_enginewc__Combustion__Sum__In1_1_1
    sldemo_enginewc__Combustion__Sum__In2_1_1
    sldemo_enginewc__Combustion__Sum__Out1_1_1
    sldemo_enginewc__Combustion__TorqueGen__In1_1_1
    sldemo_enginewc__Combustion__TorqueGen__In1_2_1
    sldemo_enginewc__Combustion__TorqueGen__In1_3_1
    sldemo_enginewc__Combustion__TorqueGen__In1_4_1
    sldemo_enginewc__Combustion__TorqueGen__Out1_1_1
    sldemo_enginewc__Combustion__TorqueGen2__In1_1_1
    sldemo_enginewc__Combustion__TorqueGen2__In1_2_1
    sldemo_enginewc__Combustion__TorqueGen2__In1_3_1
    sldemo_enginewc__Combustion__TorqueGen2__In1_4_1
    sldemo_enginewc__Combustion__TorqueGen2__Out1_1_1
  )

  (
  )

  (
    (- sldemo_enginewc__Combustion__AirCharge__Out1_1_1 (mk-record 0 0 1))
    (- sldemo_enginewc__Combustion__N__Out1_1_1 (mk-record -1 0 0))
    (assert (= (is_zero (sldemo_enginewc__Combustion__SparkAdvance_degrees_BTDC__Out1 1 1)) false))
    (- sldemo_enginewc__Combustion__TorqueGen__In1_1_1 (mk-record 0 0 1))
    (- sldemo_enginewc__Combustion__TorqueGen__In1_4_1 (mk-record -1 0 0))
    (- sldemo_enginewc__Combustion__TorqueGen__Out1_1_1 (mk-record -2 2 1))
    (- sldemo_enginewc__Combustion__TorqueGen2__In1_1_1 (mk-record 0 0 1))
    (- sldemo_enginewc__Combustion__TorqueGen2__In1_4_1 (mk-record -1 0 0))
    (- sldemo_enginewc__Combustion__TorqueGen2__Out1_1_1 (mk-record -2 2 1))
    (- sldemo_enginewc__Combustion__Torque__In1_1_1 (mk-record -2 2 1))

    (- sldemo_enginewc__Combustion__Mux__Out1_1_1 sldemo_enginewc__Combustion__Mux__In1_1_1)
    (- sldemo_enginewc__Combustion__Mux__Out1_2_1 sldemo_enginewc__Combustion__Mux__In2_1_1)
    (- sldemo_enginewc__Combustion__Mux__Out1_3_1 sldemo_enginewc__Combustion__Mux__In3_1_1)
    (- sldemo_enginewc__Combustion__Mux__Out1_4_1 sldemo_enginewc__Combustion__Mux__In4_1_1)
    (- sldemo_enginewc__Combustion__StoichiometricFuel__Out1_1_1 (+ sldemo_enginewc__Combustion__StoichiometricFuel__In1_1_1 sldemo_enginewc__Combustion__StoichiometricFuel__Constant_1_1))
    (- sldemo_enginewc__Combustion__Sum__Out1_1_1 sldemo_enginewc__Combustion__Sum__In1_1_1)
    (- sldemo_enginewc__Combustion__Sum__In1_1_1 sldemo_enginewc__Combustion__Sum__In2_1_1)
    
    (- sldemo_enginewc__Combustion__Torque__In1_1_1 sldemo_enginewc__Combustion__Sum__Out1_1_1)
    (- sldemo_enginewc__Combustion__Sum__In2_1_1 sldemo_enginewc__Combustion__TorqueGen2__Out1_1_1)
    (- sldemo_enginewc__Combustion__Mux__In2_1_1 sldemo_enginewc__Combustion__StoichiometricFuel__Out1_1_1)
    (- sldemo_enginewc__Combustion__Mux__In3_1_1 sldemo_enginewc__Combustion__SparkAdvance_degrees_BTDC__Out1_1_1)
    (- sldemo_enginewc__Combustion__Sum__In1_1_1 sldemo_enginewc__Combustion__TorqueGen__Out1_1_1)
    (- sldemo_enginewc__Combustion__TorqueGen__In1_1_1 sldemo_enginewc__Combustion__Mux__Out1_1_1)
    (- sldemo_enginewc__Combustion__TorqueGen__In1_2_1 sldemo_enginewc__Combustion__Mux__Out1_2_1)
    (- sldemo_enginewc__Combustion__TorqueGen__In1_3_1 sldemo_enginewc__Combustion__Mux__Out1_3_1)
    (- sldemo_enginewc__Combustion__TorqueGen__In1_4_1 sldemo_enginewc__Combustion__Mux__Out1_4_1)
    (- sldemo_enginewc__Combustion__TorqueGen2__In1_1_1 sldemo_enginewc__Combustion__Mux__Out1_1_1)
    (- sldemo_enginewc__Combustion__TorqueGen2__In1_2_1 sldemo_enginewc__Combustion__Mux__Out1_2_1)
    (- sldemo_enginewc__Combustion__TorqueGen2__In1_3_1 sldemo_enginewc__Combustion__Mux__Out1_3_1)
    (- sldemo_enginewc__Combustion__TorqueGen2__In1_4_1 sldemo_enginewc__Combustion__Mux__Out1_4_1)
    (- sldemo_enginewc__Combustion__StoichiometricFuel__In1_1_1 sldemo_enginewc__Combustion__AirCharge__Out1_1_1)
    (- sldemo_enginewc__Combustion__Mux__In1_1_1 sldemo_enginewc__Combustion__AirCharge__Out1_1_1)
    (- sldemo_enginewc__Combustion__Mux__In4_1_1 sldemo_enginewc__Combustion__N__Out1_1_1)
  )
)