state transitions cluster__comparisons comparisons cluster__arithmetic arithmetic cluster__boolean_logic boolean_logic __initial __initial->_comparisons _final final onentry/ ^out.all_good _comparisons_initial _comparisons_s1 s1 _comparisons_initial->_comparisons_s1 _comparisons_s2 s2 _comparisons_s1->_comparisons_s2 [1 == 1]    _comparisons_s3 s3 _comparisons_s2->_comparisons_s3 [1 != 2]    _comparisons_s4 s4 _comparisons_s3->_comparisons_s4 [1 < 2]    _comparisons_s5 s5 _comparisons_s4->_comparisons_s5 [2 > 1]    _comparisons_s5->_arithmetic _arithmetic_initial _arithmetic_s1 s1 _arithmetic_initial->_arithmetic_s1 _arithmetic_s2 s2 _arithmetic_s1->_arithmetic_s2 [1 + 1 == 2]    _arithmetic_s3 s3 _arithmetic_s2->_arithmetic_s3 [42 == 52 - 11 + 1]    _arithmetic_s4 s4 _arithmetic_s3->_arithmetic_s4 [2 * 3 == 6]    _arithmetic_s5 s5 _arithmetic_s4->_arithmetic_s5 [21 / 3 == 7]    _arithmetic_s6 s6 _arithmetic_s5->_arithmetic_s6 [256 == 2 ** 2 ** 3]    _arithmetic_s7 s7 _arithmetic_s6->_arithmetic_s7 [5 % 2 == 1]    _arithmetic_s7->_boolean_logic _boolean_logic_initial _boolean_logic_s1 s1 _boolean_logic_initial->_boolean_logic_s1 _boolean_logic_s2 s2 _boolean_logic_s1->_boolean_logic_s2 [true]    _boolean_logic_s3 s3 _boolean_logic_s2->_boolean_logic_s3 [false or true]    _boolean_logic_s4 s4 _boolean_logic_s3->_boolean_logic_s4 [true and not false]    _boolean_logic_s5 s5 _boolean_logic_s4->_boolean_logic_s5 [not ((false or true) and false)]    _boolean_logic_s5->_final