(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__RelationalOperator__In1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__RelationalOperator__In2)
(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__RelationalOperator1__In1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__RelationalOperator1__In2)
(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Sum7__Out1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Sum7__In1)
(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Sum7__In1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Sum7__In2))
(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Switch__In1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Switch__In3)
(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Switch__In2 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Switch__Threshold)
(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Switch__Out1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Switch__In1)
(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Switch1__In1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Switch1__In3)
(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Switch1__In2 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Switch1__Threshold)
(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Switch1__Out1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Switch1__In1)

(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Sum7__In1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Constant2__Out1)
(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__pc3 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Switch__Out1)
(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Sum7__In2 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Switch__Out1)
(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Switch1__In3 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Switch__Out1)
(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__RelationalOperator1__In1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Sum7__Out1)
(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Switch__In2 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__RelationalOperator__Out1)
(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Switch1__In1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Constant4__Out1)
(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Switch__In1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Constant1__Out1)
(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__RelationalOperator__In2 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Constant__Out1)
(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Sum7__In2 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__pc3)
(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Switch1__In3 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__pc3)
(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__pc3__In1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__pc3)
(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__RelationalOperator__In1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__pcs__Out1)
(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Switch__In3 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__pcs__Out1)
(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Switch1__In2 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__RelationalOperator1__Out1)
(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__pc3__In1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Switch1__Out1)
(= hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__RelationalOperator1__In2 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__Constant3__Out1)


