ChangeVarNameInModule ChangeVarNameInModule ChangeVarNameInModule ChangeVarNameInModule ChangeVarNameInModule ChangeVarNameInModule ChangeVarNameInModule ChangeVarNameInModule ChangeVarNameInModule The Transitions of The Flattened Core Program: Transition number 126, original name: INIT vars changed by assign: message_exist[4] init vars changed by relation: messages[4] Transition number 125, original name: RECEIVED_ELECTION_AND_I_AM_GREATER_1 vars changed by assign: message_exist[1] message_exist[0] vars changed by relation: messages[0] Transition number 124, original name: RECEIVED_ELECTION_AND_I_AM_GREATER_2 vars changed by assign: message_exist[2] message_exist[1] vars changed by relation: messages[1] Transition number 123, original name: RECEIVED_ELECTION_AND_I_AM_GREATER_3 vars changed by assign: message_exist[3] message_exist[2] vars changed by relation: messages[2] Transition number 122, original name: RECEIVED_ELECTION_AND_I_AM_GREATER_4 vars changed by assign: message_exist[4] message_exist[3] vars changed by relation: messages[3] Transition number 121, original name: RECEIVED_ELECTION_AND_I_AM_GREATER_0 vars changed by assign: message_exist[0] message_exist[4] vars changed by relation: messages[4] Transition number 120, original name: RECEIVED_ELECTION_AND_I_AM_LESS_1 vars changed by assign: message_exist[1] message_exist[0] vars changed by relation: messages[0] Transition number 119, original name: RECEIVED_ELECTION_AND_I_AM_LESS_2 vars changed by assign: message_exist[2] message_exist[1] vars changed by relation: messages[1] Transition number 118, original name: RECEIVED_ELECTION_AND_I_AM_LESS_3 vars changed by assign: message_exist[3] message_exist[2] vars changed by relation: messages[2] Transition number 117, original name: RECEIVED_ELECTION_AND_I_AM_LESS_4 vars changed by assign: message_exist[4] message_exist[3] vars changed by relation: messages[3] Transition number 116, original name: RECEIVED_ELECTION_AND_I_AM_LESS_0 vars changed by assign: message_exist[0] message_exist[4] vars changed by relation: messages[4] Transition number 115, original name: I_AM_THE_LEADER_1 vars changed by assign: message_exist[1] message_exist[0] vars changed by relation: messages[0] leader Transition number 114, original name: I_AM_THE_LEADER_2 vars changed by assign: message_exist[2] message_exist[1] vars changed by relation: messages[1] leader Transition number 113, original name: I_AM_THE_LEADER_3 vars changed by assign: message_exist[3] message_exist[2] vars changed by relation: messages[2] leader Transition number 112, original name: I_AM_THE_LEADER_4 vars changed by assign: message_exist[4] message_exist[3] vars changed by relation: messages[3] leader Transition number 111, original name: I_AM_THE_LEADER_0 vars changed by assign: message_exist[0] message_exist[4] vars changed by relation: messages[4] leader Transition number 110, original name: RECEIVED_ELECTED_AND_I_AM_THE_LEADER_1 vars changed by assign: message_exist[1] message_exist[0] messages[0] vars changed by relation: Transition number 109, original name: RECEIVED_ELECTED_AND_I_AM_THE_LEADER_2 vars changed by assign: message_exist[2] message_exist[1] messages[1] vars changed by relation: Transition number 108, original name: RECEIVED_ELECTED_AND_I_AM_THE_LEADER_3 vars changed by assign: message_exist[3] message_exist[2] messages[2] vars changed by relation: Transition number 107, original name: RECEIVED_ELECTED_AND_I_AM_THE_LEADER_4 vars changed by assign: message_exist[4] message_exist[3] messages[3] vars changed by relation: Transition number 106, original name: RECEIVED_ELECTED_AND_I_AM_THE_LEADER_0 vars changed by assign: message_exist[0] message_exist[4] messages[4] vars changed by relation: Transition number 105, original name: RECEIVED_ELECTED_I_AM_NOT_THE_LEADER_1 vars changed by assign: message_exist[1] message_exist[0] vars changed by relation: leader messages[0] Transition number 104, original name: RECEIVED_ELECTED_I_AM_NOT_THE_LEADER_2 vars changed by assign: message_exist[2] message_exist[1] vars changed by relation: leader messages[1] Transition number 103, original name: RECEIVED_ELECTED_I_AM_NOT_THE_LEADER_3 vars changed by assign: message_exist[3] message_exist[2] vars changed by relation: leader messages[2] Transition number 102, original name: RECEIVED_ELECTED_I_AM_NOT_THE_LEADER_4 vars changed by assign: message_exist[4] message_exist[3] vars changed by relation: leader messages[3] Transition number 101, original name: RECEIVED_ELECTED_I_AM_NOT_THE_LEADER_0 vars changed by assign: message_exist[0] message_exist[4] vars changed by relation: leader messages[4] Transition number 100, original name: RECEIVED_ELECTION_AND_I_AM_GREATER_1_PROCESS vars changed by assign: message_exist[1] message_exist[0] vars changed by relation: messages[0] Transition number 99, original name: RECEIVED_ELECTION_AND_I_AM_GREATER_2_PROCESS vars changed by assign: message_exist[2] message_exist[1] vars changed by relation: messages[1] Transition number 98, original name: RECEIVED_ELECTION_AND_I_AM_GREATER_3_PROCESS vars changed by assign: message_exist[3] message_exist[2] vars changed by relation: messages[2] Transition number 97, original name: RECEIVED_ELECTION_AND_I_AM_GREATER_4_PROCESS vars changed by assign: message_exist[4] message_exist[3] vars changed by relation: messages[3] Transition number 96, original name: RECEIVED_ELECTION_AND_I_AM_GREATER_0_PROCESS vars changed by assign: message_exist[0] message_exist[4] vars changed by relation: messages[4] Transition number 95, original name: RECEIVED_ELECTION_AND_I_AM_LESS_1_PROCESS vars changed by assign: message_exist[1] message_exist[0] vars changed by relation: messages[0] Transition number 94, original name: RECEIVED_ELECTION_AND_I_AM_LESS_2_PROCESS vars changed by assign: message_exist[2] message_exist[1] vars changed by relation: messages[1] Transition number 93, original name: RECEIVED_ELECTION_AND_I_AM_LESS_3_PROCESS vars changed by assign: message_exist[3] message_exist[2] vars changed by relation: messages[2] Transition number 92, original name: RECEIVED_ELECTION_AND_I_AM_LESS_4_PROCESS vars changed by assign: message_exist[4] message_exist[3] vars changed by relation: messages[3] Transition number 91, original name: RECEIVED_ELECTION_AND_I_AM_LESS_0_PROCESS vars changed by assign: message_exist[0] message_exist[4] vars changed by relation: messages[4] Transition number 90, original name: I_AM_THE_LEADER_1_PROCESS vars changed by assign: message_exist[1] message_exist[0] vars changed by relation: messages[0] leader_PROCESS Transition number 89, original name: I_AM_THE_LEADER_2_PROCESS vars changed by assign: message_exist[2] message_exist[1] vars changed by relation: messages[1] leader_PROCESS Transition number 88, original name: I_AM_THE_LEADER_3_PROCESS vars changed by assign: message_exist[3] message_exist[2] vars changed by relation: messages[2] leader_PROCESS Transition number 87, original name: I_AM_THE_LEADER_4_PROCESS vars changed by assign: message_exist[4] message_exist[3] vars changed by relation: messages[3] leader_PROCESS Transition number 86, original name: I_AM_THE_LEADER_0_PROCESS vars changed by assign: message_exist[0] message_exist[4] vars changed by relation: messages[4] leader_PROCESS Transition number 85, original name: RECEIVED_ELECTED_AND_I_AM_THE_LEADER_1_PROCESS vars changed by assign: message_exist[1] message_exist[0] messages[0] vars changed by relation: Transition number 84, original name: RECEIVED_ELECTED_AND_I_AM_THE_LEADER_2_PROCESS vars changed by assign: message_exist[2] message_exist[1] messages[1] vars changed by relation: Transition number 83, original name: RECEIVED_ELECTED_AND_I_AM_THE_LEADER_3_PROCESS vars changed by assign: message_exist[3] message_exist[2] messages[2] vars changed by relation: Transition number 82, original name: RECEIVED_ELECTED_AND_I_AM_THE_LEADER_4_PROCESS vars changed by assign: message_exist[4] message_exist[3] messages[3] vars changed by relation: Transition number 81, original name: RECEIVED_ELECTED_AND_I_AM_THE_LEADER_0_PROCESS vars changed by assign: message_exist[0] message_exist[4] messages[4] vars changed by relation: Transition number 80, original name: RECEIVED_ELECTED_I_AM_NOT_THE_LEADER_1_PROCESS vars changed by assign: message_exist[1] message_exist[0] vars changed by relation: leader_PROCESS messages[0] Transition number 79, original name: RECEIVED_ELECTED_I_AM_NOT_THE_LEADER_2_PROCESS vars changed by assign: message_exist[2] message_exist[1] vars changed by relation: leader_PROCESS messages[1] Transition number 78, original name: RECEIVED_ELECTED_I_AM_NOT_THE_LEADER_3_PROCESS vars changed by assign: message_exist[3] message_exist[2] vars changed by relation: leader_PROCESS messages[2] Transition number 77, original name: RECEIVED_ELECTED_I_AM_NOT_THE_LEADER_4_PROCESS vars changed by assign: message_exist[4] message_exist[3] vars changed by relation: leader_PROCESS messages[3] Transition number 76, original name: RECEIVED_ELECTED_I_AM_NOT_THE_LEADER_0_PROCESS vars changed by assign: message_exist[0] message_exist[4] vars changed by relation: leader_PROCESS messages[4] Transition number 75, original name: RECEIVED_ELECTION_AND_I_AM_GREATER_1_PROCESS_PROCESS vars changed by assign: message_exist[1] message_exist[0] vars changed by relation: messages[0] Transition number 74, original name: RECEIVED_ELECTION_AND_I_AM_GREATER_2_PROCESS_PROCESS vars changed by assign: message_exist[2] message_exist[1] vars changed by relation: messages[1] Transition number 73, original name: RECEIVED_ELECTION_AND_I_AM_GREATER_3_PROCESS_PROCESS vars changed by assign: message_exist[3] message_exist[2] vars changed by relation: messages[2] Transition number 72, original name: RECEIVED_ELECTION_AND_I_AM_GREATER_4_PROCESS_PROCESS vars changed by assign: message_exist[4] message_exist[3] vars changed by relation: messages[3] Transition number 71, original name: RECEIVED_ELECTION_AND_I_AM_GREATER_0_PROCESS_PROCESS vars changed by assign: message_exist[0] message_exist[4] vars changed by relation: messages[4] Transition number 70, original name: RECEIVED_ELECTION_AND_I_AM_LESS_1_PROCESS_PROCESS vars changed by assign: message_exist[1] message_exist[0] vars changed by relation: messages[0] Transition number 69, original name: RECEIVED_ELECTION_AND_I_AM_LESS_2_PROCESS_PROCESS vars changed by assign: message_exist[2] message_exist[1] vars changed by relation: messages[1] Transition number 68, original name: RECEIVED_ELECTION_AND_I_AM_LESS_3_PROCESS_PROCESS vars changed by assign: message_exist[3] message_exist[2] vars changed by relation: messages[2] Transition number 67, original name: RECEIVED_ELECTION_AND_I_AM_LESS_4_PROCESS_PROCESS vars changed by assign: message_exist[4] message_exist[3] vars changed by relation: messages[3] Transition number 66, original name: RECEIVED_ELECTION_AND_I_AM_LESS_0_PROCESS_PROCESS vars changed by assign: message_exist[0] message_exist[4] vars changed by relation: messages[4] Transition number 65, original name: I_AM_THE_LEADER_1_PROCESS_PROCESS vars changed by assign: message_exist[1] message_exist[0] vars changed by relation: messages[0] leader_PROCESS_PROCESS Transition number 64, original name: I_AM_THE_LEADER_2_PROCESS_PROCESS vars changed by assign: message_exist[2] message_exist[1] vars changed by relation: messages[1] leader_PROCESS_PROCESS Transition number 63, original name: I_AM_THE_LEADER_3_PROCESS_PROCESS vars changed by assign: message_exist[3] message_exist[2] vars changed by relation: messages[2] leader_PROCESS_PROCESS Transition number 62, original name: I_AM_THE_LEADER_4_PROCESS_PROCESS vars changed by assign: message_exist[4] message_exist[3] vars changed by relation: messages[3] leader_PROCESS_PROCESS Transition number 61, original name: I_AM_THE_LEADER_0_PROCESS_PROCESS vars changed by assign: message_exist[0] message_exist[4] vars changed by relation: messages[4] leader_PROCESS_PROCESS Transition number 60, original name: RECEIVED_ELECTED_AND_I_AM_THE_LEADER_1_PROCESS_PROCESS vars changed by assign: message_exist[1] message_exist[0] messages[0] vars changed by relation: Transition number 59, original name: RECEIVED_ELECTED_AND_I_AM_THE_LEADER_2_PROCESS_PROCESS vars changed by assign: message_exist[2] message_exist[1] messages[1] vars changed by relation: Transition number 58, original name: RECEIVED_ELECTED_AND_I_AM_THE_LEADER_3_PROCESS_PROCESS vars changed by assign: message_exist[3] message_exist[2] messages[2] vars changed by relation: Transition number 57, original name: RECEIVED_ELECTED_AND_I_AM_THE_LEADER_4_PROCESS_PROCESS vars changed by assign: message_exist[4] message_exist[3] messages[3] vars changed by relation: Transition number 56, original name: RECEIVED_ELECTED_AND_I_AM_THE_LEADER_0_PROCESS_PROCESS vars changed by assign: message_exist[0] message_exist[4] messages[4] vars changed by relation: Transition number 55, original name: RECEIVED_ELECTED_I_AM_NOT_THE_LEADER_1_PROCESS_PROCESS vars changed by assign: message_exist[1] message_exist[0] vars changed by relation: leader_PROCESS_PROCESS messages[0] Transition number 54, original name: RECEIVED_ELECTED_I_AM_NOT_THE_LEADER_2_PROCESS_PROCESS vars changed by assign: message_exist[2] message_exist[1] vars changed by relation: leader_PROCESS_PROCESS messages[1] Transition number 53, original name: RECEIVED_ELECTED_I_AM_NOT_THE_LEADER_3_PROCESS_PROCESS vars changed by assign: message_exist[3] message_exist[2] vars changed by relation: leader_PROCESS_PROCESS messages[2] Transition number 52, original name: RECEIVED_ELECTED_I_AM_NOT_THE_LEADER_4_PROCESS_PROCESS vars changed by assign: message_exist[4] message_exist[3] vars changed by relation: leader_PROCESS_PROCESS messages[3] Transition number 51, original name: RECEIVED_ELECTED_I_AM_NOT_THE_LEADER_0_PROCESS_PROCESS vars changed by assign: message_exist[0] message_exist[4] vars changed by relation: leader_PROCESS_PROCESS messages[4] Transition number 50, original name: RECEIVED_ELECTION_AND_I_AM_GREATER_1_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[1] message_exist[0] vars changed by relation: messages[0] Transition number 49, original name: RECEIVED_ELECTION_AND_I_AM_GREATER_2_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[2] message_exist[1] vars changed by relation: messages[1] Transition number 48, original name: RECEIVED_ELECTION_AND_I_AM_GREATER_3_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[3] message_exist[2] vars changed by relation: messages[2] Transition number 47, original name: RECEIVED_ELECTION_AND_I_AM_GREATER_4_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[4] message_exist[3] vars changed by relation: messages[3] Transition number 46, original name: RECEIVED_ELECTION_AND_I_AM_GREATER_0_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[0] message_exist[4] vars changed by relation: messages[4] Transition number 45, original name: RECEIVED_ELECTION_AND_I_AM_LESS_1_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[1] message_exist[0] vars changed by relation: messages[0] Transition number 44, original name: RECEIVED_ELECTION_AND_I_AM_LESS_2_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[2] message_exist[1] vars changed by relation: messages[1] Transition number 43, original name: RECEIVED_ELECTION_AND_I_AM_LESS_3_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[3] message_exist[2] vars changed by relation: messages[2] Transition number 42, original name: RECEIVED_ELECTION_AND_I_AM_LESS_4_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[4] message_exist[3] vars changed by relation: messages[3] Transition number 41, original name: RECEIVED_ELECTION_AND_I_AM_LESS_0_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[0] message_exist[4] vars changed by relation: messages[4] Transition number 40, original name: I_AM_THE_LEADER_1_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[1] message_exist[0] vars changed by relation: messages[0] leader_PROCESS_PROCESS_PROCESS Transition number 39, original name: I_AM_THE_LEADER_2_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[2] message_exist[1] vars changed by relation: messages[1] leader_PROCESS_PROCESS_PROCESS Transition number 38, original name: I_AM_THE_LEADER_3_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[3] message_exist[2] vars changed by relation: messages[2] leader_PROCESS_PROCESS_PROCESS Transition number 37, original name: I_AM_THE_LEADER_4_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[4] message_exist[3] vars changed by relation: messages[3] leader_PROCESS_PROCESS_PROCESS Transition number 36, original name: I_AM_THE_LEADER_0_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[0] message_exist[4] vars changed by relation: messages[4] leader_PROCESS_PROCESS_PROCESS Transition number 35, original name: RECEIVED_ELECTED_AND_I_AM_THE_LEADER_1_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[1] message_exist[0] messages[0] vars changed by relation: Transition number 34, original name: RECEIVED_ELECTED_AND_I_AM_THE_LEADER_2_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[2] message_exist[1] messages[1] vars changed by relation: Transition number 33, original name: RECEIVED_ELECTED_AND_I_AM_THE_LEADER_3_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[3] message_exist[2] messages[2] vars changed by relation: Transition number 32, original name: RECEIVED_ELECTED_AND_I_AM_THE_LEADER_4_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[4] message_exist[3] messages[3] vars changed by relation: Transition number 31, original name: RECEIVED_ELECTED_AND_I_AM_THE_LEADER_0_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[0] message_exist[4] messages[4] vars changed by relation: Transition number 30, original name: RECEIVED_ELECTED_I_AM_NOT_THE_LEADER_1_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[1] message_exist[0] vars changed by relation: leader_PROCESS_PROCESS_PROCESS messages[0] Transition number 29, original name: RECEIVED_ELECTED_I_AM_NOT_THE_LEADER_2_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[2] message_exist[1] vars changed by relation: leader_PROCESS_PROCESS_PROCESS messages[1] Transition number 28, original name: RECEIVED_ELECTED_I_AM_NOT_THE_LEADER_3_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[3] message_exist[2] vars changed by relation: leader_PROCESS_PROCESS_PROCESS messages[2] Transition number 27, original name: RECEIVED_ELECTED_I_AM_NOT_THE_LEADER_4_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[4] message_exist[3] vars changed by relation: leader_PROCESS_PROCESS_PROCESS messages[3] Transition number 26, original name: RECEIVED_ELECTED_I_AM_NOT_THE_LEADER_0_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[0] message_exist[4] vars changed by relation: leader_PROCESS_PROCESS_PROCESS messages[4] Transition number 25, original name: RECEIVED_ELECTION_AND_I_AM_GREATER_1_PROCESS_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[1] message_exist[0] vars changed by relation: messages[0] Transition number 24, original name: RECEIVED_ELECTION_AND_I_AM_GREATER_2_PROCESS_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[2] message_exist[1] vars changed by relation: messages[1] Transition number 23, original name: RECEIVED_ELECTION_AND_I_AM_GREATER_3_PROCESS_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[3] message_exist[2] vars changed by relation: messages[2] Transition number 22, original name: RECEIVED_ELECTION_AND_I_AM_GREATER_4_PROCESS_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[4] message_exist[3] vars changed by relation: messages[3] Transition number 21, original name: RECEIVED_ELECTION_AND_I_AM_GREATER_0_PROCESS_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[0] message_exist[4] vars changed by relation: messages[4] Transition number 20, original name: RECEIVED_ELECTION_AND_I_AM_LESS_1_PROCESS_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[1] message_exist[0] vars changed by relation: messages[0] Transition number 19, original name: RECEIVED_ELECTION_AND_I_AM_LESS_2_PROCESS_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[2] message_exist[1] vars changed by relation: messages[1] Transition number 18, original name: RECEIVED_ELECTION_AND_I_AM_LESS_3_PROCESS_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[3] message_exist[2] vars changed by relation: messages[2] Transition number 17, original name: RECEIVED_ELECTION_AND_I_AM_LESS_4_PROCESS_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[4] message_exist[3] vars changed by relation: messages[3] Transition number 16, original name: RECEIVED_ELECTION_AND_I_AM_LESS_0_PROCESS_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[0] message_exist[4] vars changed by relation: messages[4] Transition number 15, original name: I_AM_THE_LEADER_1_PROCESS_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[1] message_exist[0] vars changed by relation: messages[0] leader_PROCESS_PROCESS_PROCESS_PROCESS Transition number 14, original name: I_AM_THE_LEADER_2_PROCESS_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[2] message_exist[1] vars changed by relation: messages[1] leader_PROCESS_PROCESS_PROCESS_PROCESS Transition number 13, original name: I_AM_THE_LEADER_3_PROCESS_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[3] message_exist[2] vars changed by relation: messages[2] leader_PROCESS_PROCESS_PROCESS_PROCESS Transition number 12, original name: I_AM_THE_LEADER_4_PROCESS_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[4] message_exist[3] vars changed by relation: messages[3] leader_PROCESS_PROCESS_PROCESS_PROCESS Transition number 11, original name: I_AM_THE_LEADER_0_PROCESS_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[0] message_exist[4] vars changed by relation: messages[4] leader_PROCESS_PROCESS_PROCESS_PROCESS Transition number 10, original name: RECEIVED_ELECTED_AND_I_AM_THE_LEADER_1_PROCESS_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[1] message_exist[0] messages[0] vars changed by relation: Transition number 9, original name: RECEIVED_ELECTED_AND_I_AM_THE_LEADER_2_PROCESS_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[2] message_exist[1] messages[1] vars changed by relation: Transition number 8, original name: RECEIVED_ELECTED_AND_I_AM_THE_LEADER_3_PROCESS_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[3] message_exist[2] messages[2] vars changed by relation: Transition number 7, original name: RECEIVED_ELECTED_AND_I_AM_THE_LEADER_4_PROCESS_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[4] message_exist[3] messages[3] vars changed by relation: Transition number 6, original name: RECEIVED_ELECTED_AND_I_AM_THE_LEADER_0_PROCESS_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[0] message_exist[4] messages[4] vars changed by relation: Transition number 5, original name: RECEIVED_ELECTED_I_AM_NOT_THE_LEADER_1_PROCESS_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[1] message_exist[0] vars changed by relation: leader_PROCESS_PROCESS_PROCESS_PROCESS messages[0] Transition number 4, original name: RECEIVED_ELECTED_I_AM_NOT_THE_LEADER_2_PROCESS_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[2] message_exist[1] vars changed by relation: leader_PROCESS_PROCESS_PROCESS_PROCESS messages[1] Transition number 3, original name: RECEIVED_ELECTED_I_AM_NOT_THE_LEADER_3_PROCESS_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[3] message_exist[2] vars changed by relation: leader_PROCESS_PROCESS_PROCESS_PROCESS messages[2] Transition number 2, original name: RECEIVED_ELECTED_I_AM_NOT_THE_LEADER_4_PROCESS_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[4] message_exist[3] vars changed by relation: leader_PROCESS_PROCESS_PROCESS_PROCESS messages[3] Transition number 1, original name: RECEIVED_ELECTED_I_AM_NOT_THE_LEADER_0_PROCESS_PROCESS_PROCESS_PROCESS vars changed by assign: message_exist[0] message_exist[4] vars changed by relation: leader_PROCESS_PROCESS_PROCESS_PROCESS messages[4] New types in core program: message_state with definition of enum The Variables of the Flattened Program: Variable name: message_exist[0] Transitions that change variable by assign: 1 5 6 10 11 15 16 20 21 25 26 30 31 35 36 40 41 45 46 50 51 55 56 60 61 65 66 70 71 75 76 80 81 85 86 90 91 95 96 100 101 105 106 110 111 115 116 120 121 125 Transitions that change variable by relation: Variable name: message_exist[1] Transitions that change variable by assign: 4 5 9 10 14 15 19 20 24 25 29 30 34 35 39 40 44 45 49 50 54 55 59 60 64 65 69 70 74 75 79 80 84 85 89 90 94 95 99 100 104 105 109 110 114 115 119 120 124 125 Transitions that change variable by relation: Variable name: message_exist[2] Transitions that change variable by assign: 3 4 8 9 13 14 18 19 23 24 28 29 33 34 38 39 43 44 48 49 53 54 58 59 63 64 68 69 73 74 78 79 83 84 88 89 93 94 98 99 103 104 108 109 113 114 118 119 123 124 Transitions that change variable by relation: Variable name: message_exist[3] Transitions that change variable by assign: 2 3 7 8 12 13 17 18 22 23 27 28 32 33 37 38 42 43 47 48 52 53 57 58 62 63 67 68 72 73 77 78 82 83 87 88 92 93 97 98 102 103 107 108 112 113 117 118 122 123 Transitions that change variable by relation: Variable name: message_exist[4] Transitions that change variable by assign: 1 2 6 7 11 12 16 17 21 22 26 27 31 32 36 37 41 42 46 47 51 52 56 57 61 62 66 67 71 72 76 77 81 82 86 87 91 92 96 97 101 102 106 107 111 112 116 117 121 122 126 Transitions that change variable by relation: Variable name: messages[0] Transitions that change variable by assign: 10 35 60 85 110 Transitions that change variable by relation: 5 15 20 25 30 40 45 50 55 65 70 75 80 90 95 100 105 115 120 125 Variable name: messages[1] Transitions that change variable by assign: 9 34 59 84 109 Transitions that change variable by relation: 4 14 19 24 29 39 44 49 54 64 69 74 79 89 94 99 104 114 119 124 Variable name: messages[2] Transitions that change variable by assign: 8 33 58 83 108 Transitions that change variable by relation: 3 13 18 23 28 38 43 48 53 63 68 73 78 88 93 98 103 113 118 123 Variable name: messages[3] Transitions that change variable by assign: 7 32 57 82 107 Transitions that change variable by relation: 2 12 17 22 27 37 42 47 52 62 67 72 77 87 92 97 102 112 117 122 Variable name: messages[4] Transitions that change variable by assign: 6 31 56 81 106 Transitions that change variable by relation: 1 11 16 21 26 36 41 46 51 61 66 71 76 86 91 96 101 111 116 121 126 Variable name: processes[0] Transitions that change variable by assign: Transitions that change variable by relation: Variable name: processes[1] Transitions that change variable by assign: Transitions that change variable by relation: Variable name: processes[2] Transitions that change variable by assign: Transitions that change variable by relation: Variable name: processes[3] Transitions that change variable by assign: Transitions that change variable by relation: Variable name: processes[4] Transitions that change variable by assign: Transitions that change variable by relation: Variable name: init Transitions that change variable by assign: 126 Transitions that change variable by relation: Variable name: leader Transitions that change variable by assign: Transitions that change variable by relation: 101 102 103 104 105 111 112 113 114 115 Variable name: leader_PROCESS Transitions that change variable by assign: Transitions that change variable by relation: 76 77 78 79 80 86 87 88 89 90 Variable name: leader_PROCESS_PROCESS Transitions that change variable by assign: Transitions that change variable by relation: 51 52 53 54 55 61 62 63 64 65 Variable name: leader_PROCESS_PROCESS_PROCESS Transitions that change variable by assign: Transitions that change variable by relation: 26 27 28 29 30 36 37 38 39 40 Variable name: leader_PROCESS_PROCESS_PROCESS_PROCESS Transitions that change variable by assign: Transitions that change variable by relation: 1 2 3 4 5 11 12 13 14 15 Variable name: proc1 Transitions that change variable by assign: Transitions that change variable by relation: Variable name: proc2 Transitions that change variable by assign: Transitions that change variable by relation: Variable name: proc3 Transitions that change variable by assign: Transitions that change variable by relation: Variable name: proc4 Transitions that change variable by assign: Transitions that change variable by relation: Variable name: proc5 Transitions that change variable by assign: Transitions that change variable by relation: Vars that originated from CONST section in core: NumProcess