state transitions cluster__p p cluster__p_boolean_logic boolean_logic cluster__p_arithmetic arithmetic cluster__p_comparisons comparisons self_tr__p__p_20:w->_p __initial __initial->_p _p:e->self_tr__p__p_20:e e    _p_boolean_logic_initial _p_boolean_logic_s1 s1 _p_boolean_logic_initial->_p_boolean_logic_s1 _p_boolean_logic_ok ok onentry/ ^out.ok _p_boolean_logic_s5 s5 _p_boolean_logic_s5->_p_boolean_logic_ok [not (false or false and true)]    _p_boolean_logic_s4 s4 _p_boolean_logic_s4->_p_boolean_logic_s5 [not (true and false or false)]    _p_boolean_logic_s3 s3 _p_boolean_logic_s3->_p_boolean_logic_s4 [true and not false]    _p_boolean_logic_s2 s2 _p_boolean_logic_s2->_p_boolean_logic_s3 [false or true]    _p_boolean_logic_s1->_p_boolean_logic_s2 [true]    _p_arithmetic_initial _p_arithmetic_s1 s1 _p_arithmetic_initial->_p_arithmetic_s1 _p_arithmetic_ok ok onentry/ ^out.ok _p_arithmetic_s6 s6 _p_arithmetic_s6->_p_arithmetic_ok [5 % 2 == 1]    _p_arithmetic_s5 s5 _p_arithmetic_s5->_p_arithmetic_s6 [256 == 2 ** 2 ** 3]    _p_arithmetic_s4 s4 _p_arithmetic_s4->_p_arithmetic_s5 [21 // 3 == 7]    _p_arithmetic_s3 s3 _p_arithmetic_s3->_p_arithmetic_s4 [2 * 3 == 6]    _p_arithmetic_s2 s2 _p_arithmetic_s2->_p_arithmetic_s3 [42 == 52 - 11 + 1]    _p_arithmetic_s1->_p_arithmetic_s2 [1 + 1 == 2]    _p_comparisons_initial _p_comparisons_s1 s1 _p_comparisons_initial->_p_comparisons_s1 _p_comparisons_ok ok onentry/ ^out.ok _p_comparisons_s4 s4 _p_comparisons_s4->_p_comparisons_ok [2 > 1]    _p_comparisons_s3 s3 _p_comparisons_s3->_p_comparisons_s4 [1 < 2]    _p_comparisons_s2 s2 _p_comparisons_s2->_p_comparisons_s3 [1 != 2]    _p_comparisons_s1->_p_comparisons_s2 [1 == 1]