<<< BEGIN CONCRETE COUNTEREXAMPLE >>> [<<-1>> {P0::eating = 0} <<[]>>:65535:255] [<<-1>> {P1::eating = 0} <<[]>>:65535:255] [<<-1>> P2::temp_var_8 = do_fork1 ( ) <<[]>>:65535:255] [<<-1>> P3::temp_var_9 = do_fork2 ( ) <<[]>>:65535:255] ################################################# ================================================= +++++++++++++++++++++++++++++++++++++++++++++++++ P0::epsilon +++++++++++++++++++++++++++++++++++++++++++++++++ [<<-1>> branch ( 1 ) <<[]>>:65535:255] [<<-1>> {P1::eating = 0} <<[]>>:65535:255] [<<-1>> P2::temp_var_8 = do_fork1 ( ) <<[]>>:65535:255] [<<-1>> P3::temp_var_9 = do_fork2 ( ) <<[]>>:65535:255] ################################################# ================================================= (P0::eating = 0) +++++++++++++++++++++++++++++++++++++++++++++++++ P0::epsilon +++++++++++++++++++++++++++++++++++++++++++++++++ [<<-1>> P0::temp_var_10 = __COPPER_HANDSHAKE__ ( "pick_left_1" ) <<[]>>:65535:255] [<<-1>> {P1::eating = 0} <<[]>>:65535:255] [<<-1>> P2::temp_var_8 = do_fork1 ( ) <<[]>>:65535:255] [<<-1>> P3::temp_var_9 = do_fork2 ( ) <<[]>>:65535:255] ################################################# ================================================= (P0::eating = 0) +++++++++++++++++++++++++++++++++++++++++++++++++ P1::epsilon +++++++++++++++++++++++++++++++++++++++++++++++++ [<<-1>> P0::temp_var_10 = __COPPER_HANDSHAKE__ ( "pick_left_1" ) <<[]>>:65535:255] [<<-1>> branch ( 1 ) <<[]>>:65535:255] [<<-1>> P2::temp_var_8 = do_fork1 ( ) <<[]>>:65535:255] [<<-1>> P3::temp_var_9 = do_fork2 ( ) <<[]>>:65535:255] ################################################# ================================================= (P0::eating = 0)(P1::eating = 0) +++++++++++++++++++++++++++++++++++++++++++++++++ P1::epsilon +++++++++++++++++++++++++++++++++++++++++++++++++ [<<-1>> P0::temp_var_10 = __COPPER_HANDSHAKE__ ( "pick_left_1" ) <<[]>>:65535:255] [<<-1>> P1::temp_var_15 = __COPPER_HANDSHAKE__ ( "pick_left_2" ) <<[]>>:65535:255] [<<-1>> P2::temp_var_8 = do_fork1 ( ) <<[]>>:65535:255] [<<-1>> P3::temp_var_9 = do_fork2 ( ) <<[]>>:65535:255] ################################################# ================================================= (P0::eating = 0)(P1::eating = 0) +++++++++++++++++++++++++++++++++++++++++++++++++ P2::epsilon +++++++++++++++++++++++++++++++++++++++++++++++++ [<<-1>> P0::temp_var_10 = __COPPER_HANDSHAKE__ ( "pick_left_1" ) <<[]>>:65535:255] [<<-1>> P1::temp_var_15 = __COPPER_HANDSHAKE__ ( "pick_left_2" ) <<[]>>:65535:255] [<<-1>> P2::temp_var_8 = do_fork1 ( ) <<[]>>:0:0] [<<-1>> P3::temp_var_9 = do_fork2 ( ) <<[]>>:65535:255] ################################################# ================================================= (P0::eating = 0)(P1::eating = 0) +++++++++++++++++++++++++++++++++++++++++++++++++ P3::epsilon +++++++++++++++++++++++++++++++++++++++++++++++++ [<<-1>> P0::temp_var_10 = __COPPER_HANDSHAKE__ ( "pick_left_1" ) <<[]>>:65535:255] [<<-1>> P1::temp_var_15 = __COPPER_HANDSHAKE__ ( "pick_left_2" ) <<[]>>:65535:255] [<<-1>> P2::temp_var_8 = do_fork1 ( ) <<[]>>:0:0] [<<-1>> P3::temp_var_9 = do_fork2 ( ) <<[]>>:1:0] ################################################# ================================================= (P0::eating = 0)(P1::eating = 0) +++++++++++++++++++++++++++++++++++++++++++++++++ pick_left_2 +++++++++++++++++++++++++++++++++++++++++++++++++ [<<-1>> P0::temp_var_10 = __COPPER_HANDSHAKE__ ( "pick_left_1" ) <<[]>>:65535:255] [<<-1>> P1::temp_var_15 = __COPPER_HANDSHAKE__ ( "pick_left_2" ) <<[]>>:0:0] [<<-1>> P2::temp_var_8 = do_fork1 ( ) <<[]>>:0:2] [<<-1>> P3::temp_var_9 = do_fork2 ( ) <<[]>>:1:0] ################################################# ================================================= (P0::eating = 0)(P1::eating = 0) +++++++++++++++++++++++++++++++++++++++++++++++++ P1::epsilon +++++++++++++++++++++++++++++++++++++++++++++++++ [<<-1>> P0::temp_var_10 = __COPPER_HANDSHAKE__ ( "pick_left_1" ) <<[]>>:65535:255] [<<-1>> P1::temp_var_16 = __COPPER_HANDSHAKE__ ( "pick_right_2" ) <<[]>>:65535:255] [<<-1>> P2::temp_var_8 = do_fork1 ( ) <<[]>>:0:2] [<<-1>> P3::temp_var_9 = do_fork2 ( ) <<[]>>:1:0] ################################################# ================================================= (P0::eating = 0)(P1::eating = 0) +++++++++++++++++++++++++++++++++++++++++++++++++ pick_left_1 +++++++++++++++++++++++++++++++++++++++++++++++++ [<<-1>> P0::temp_var_10 = __COPPER_HANDSHAKE__ ( "pick_left_1" ) <<[]>>:0:0] [<<-1>> P1::temp_var_16 = __COPPER_HANDSHAKE__ ( "pick_right_2" ) <<[]>>:65535:255] [<<-1>> P2::temp_var_8 = do_fork1 ( ) <<[]>>:0:2] [<<-1>> P3::temp_var_9 = do_fork2 ( ) <<[]>>:1:2] ################################################# ================================================= (P0::eating = 0)(P1::eating = 0) +++++++++++++++++++++++++++++++++++++++++++++++++ P0::epsilon +++++++++++++++++++++++++++++++++++++++++++++++++ [<<-1>> P0::temp_var_11 = __COPPER_HANDSHAKE__ ( "pick_right_1" ) <<[]>>:65535:255] [<<-1>> P1::temp_var_16 = __COPPER_HANDSHAKE__ ( "pick_right_2" ) <<[]>>:65535:255] [<<-1>> P2::temp_var_8 = do_fork1 ( ) <<[]>>:0:2] [<<-1>> P3::temp_var_9 = do_fork2 ( ) <<[]>>:1:2] ################################################# ================================================= (P0::eating = 0)(P1::eating = 0) <<< END CONCRETE COUNTEREXAMPLE >>>