<<< BEGIN CONCRETE COUNTEREXAMPLE >>> [<<-1>> {P0::eating = 0} <<[]>>:65535:255] ################################################# ================================================= +++++++++++++++++++++++++++++++++++++++++++++++++ P0::epsilon +++++++++++++++++++++++++++++++++++++++++++++++++ [<<-1>> branch ( 1 ) <<[]>>:65535:255] ################################################# ================================================= (P0::eating = 0) +++++++++++++++++++++++++++++++++++++++++++++++++ P0::epsilon +++++++++++++++++++++++++++++++++++++++++++++++++ [<<-1>> P0::temp_var_10 = pick_left ( ) <<[]>>:65535:255] ################################################# ================================================= (P0::eating = 0) +++++++++++++++++++++++++++++++++++++++++++++++++ P0::epsilon +++++++++++++++++++++++++++++++++++++++++++++++++ [<<-1>> P0::temp_var_10 = pick_left ( ) <<[]>>:0:0] ################################################# ================================================= (P0::eating = 0) +++++++++++++++++++++++++++++++++++++++++++++++++ pick_left +++++++++++++++++++++++++++++++++++++++++++++++++ [<<-1>> P0::temp_var_10 = pick_left ( ) <<[]>>:0:2] ################################################# ================================================= (P0::eating = 0) +++++++++++++++++++++++++++++++++++++++++++++++++ P0::epsilon +++++++++++++++++++++++++++++++++++++++++++++++++ [<<-1>> P0::temp_var_11 = __COPPER_HANDSHAKE__ ( "pick_right" ) <<[]>>:65535:255] ################################################# ================================================= (P0::eating = 0) +++++++++++++++++++++++++++++++++++++++++++++++++ pick_right +++++++++++++++++++++++++++++++++++++++++++++++++ [<<-1>> P0::temp_var_11 = __COPPER_HANDSHAKE__ ( "pick_right" ) <<[]>>:0:0] ################################################# ================================================= (P0::eating = 0) <<< END CONCRETE COUNTEREXAMPLE >>>