(= hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__Abs__Out1 hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__Abs__In1)
(= hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__RelationalOperator__In1 hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__RelationalOperator__In2)
(= hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__Switch__In1 hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__Switch__In3)
(= hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__Switch__In2 hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__Switch__Threshold)
(= hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__Switch__Out1 hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__Switch__In1)

(= hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__w_sr hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__Switch__Out1)
(= hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__Out1__In1 hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__Switch__Out1)
(= hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__Switch__In1 hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__Constant1__Out1)
(= hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__Out1__In1 hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__w_sr)
(= hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__RelationalOperator__In2 hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__Constant__Out1)
(= hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__Switch__In2 hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__RelationalOperator__Out1)
(= hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__Abs__In1 hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__In1__Out1)
(= hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__Switch__In3 hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__In1__Out1)
(= hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__RelationalOperator__In1 hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__Abs__Out1)


