ChangeVarNameInModule ChangeVarNameInModule ChangeVarNameInModule ChangeVarNameInModule ChangeVarNameInModule The Transitions of The Flattened Core Program: Transition number 50, original name: ReturnForks0 vars changed by assign: philosophers[0] forks[0] forks[1] vars changed by relation: Transition number 49, original name: ReturnForks4 vars changed by assign: philosophers[4] forks[4] forks[0] vars changed by relation: Transition number 48, original name: ReturnForks3 vars changed by assign: philosophers[3] forks[3] forks[4] vars changed by relation: Transition number 47, original name: ReturnForks2 vars changed by assign: philosophers[2] forks[2] forks[3] vars changed by relation: Transition number 46, original name: ReturnForks1 vars changed by assign: philosophers[1] forks[1] forks[2] vars changed by relation: Transition number 45, original name: PickUpForks0 vars changed by assign: philosophers[0] forks[0] forks[1] vars changed by relation: Transition number 44, original name: PickUpForks4 vars changed by assign: philosophers[4] forks[4] forks[0] vars changed by relation: Transition number 43, original name: PickUpForks3 vars changed by assign: philosophers[3] forks[3] forks[4] vars changed by relation: Transition number 42, original name: PickUpForks2 vars changed by assign: philosophers[2] forks[2] forks[3] vars changed by relation: Transition number 41, original name: PickUpForks1 vars changed by assign: philosophers[1] forks[1] forks[2] vars changed by relation: Transition number 40, original name: PickUpForks1_Philosopher vars changed by assign: philosophers[1] forks[1] forks[2] vars changed by relation: Transition number 39, original name: PickUpForks2_Philosopher vars changed by assign: philosophers[2] forks[2] forks[3] vars changed by relation: Transition number 38, original name: PickUpForks3_Philosopher vars changed by assign: philosophers[3] forks[3] forks[4] vars changed by relation: Transition number 37, original name: PickUpForks4_Philosopher vars changed by assign: philosophers[4] forks[4] forks[0] vars changed by relation: Transition number 36, original name: PickUpForks0_Philosopher vars changed by assign: philosophers[0] forks[0] forks[1] vars changed by relation: Transition number 35, original name: ReturnForks1_Philosopher vars changed by assign: philosophers[1] forks[1] forks[2] vars changed by relation: Transition number 34, original name: ReturnForks2_Philosopher vars changed by assign: philosophers[2] forks[2] forks[3] vars changed by relation: Transition number 33, original name: ReturnForks3_Philosopher vars changed by assign: philosophers[3] forks[3] forks[4] vars changed by relation: Transition number 32, original name: ReturnForks4_Philosopher vars changed by assign: philosophers[4] forks[4] forks[0] vars changed by relation: Transition number 31, original name: ReturnForks0_Philosopher vars changed by assign: philosophers[0] forks[0] forks[1] vars changed by relation: Transition number 30, original name: PickUpForks1_Philosopher_Philosopher vars changed by assign: philosophers[1] forks[1] forks[2] vars changed by relation: Transition number 29, original name: PickUpForks2_Philosopher_Philosopher vars changed by assign: philosophers[2] forks[2] forks[3] vars changed by relation: Transition number 28, original name: PickUpForks3_Philosopher_Philosopher vars changed by assign: philosophers[3] forks[3] forks[4] vars changed by relation: Transition number 27, original name: PickUpForks4_Philosopher_Philosopher vars changed by assign: philosophers[4] forks[4] forks[0] vars changed by relation: Transition number 26, original name: PickUpForks0_Philosopher_Philosopher vars changed by assign: philosophers[0] forks[0] forks[1] vars changed by relation: Transition number 25, original name: ReturnForks1_Philosopher_Philosopher vars changed by assign: philosophers[1] forks[1] forks[2] vars changed by relation: Transition number 24, original name: ReturnForks2_Philosopher_Philosopher vars changed by assign: philosophers[2] forks[2] forks[3] vars changed by relation: Transition number 23, original name: ReturnForks3_Philosopher_Philosopher vars changed by assign: philosophers[3] forks[3] forks[4] vars changed by relation: Transition number 22, original name: ReturnForks4_Philosopher_Philosopher vars changed by assign: philosophers[4] forks[4] forks[0] vars changed by relation: Transition number 21, original name: ReturnForks0_Philosopher_Philosopher vars changed by assign: philosophers[0] forks[0] forks[1] vars changed by relation: Transition number 20, original name: PickUpForks1_Philosopher_Philosopher_Philosopher vars changed by assign: philosophers[1] forks[1] forks[2] vars changed by relation: Transition number 19, original name: PickUpForks2_Philosopher_Philosopher_Philosopher vars changed by assign: philosophers[2] forks[2] forks[3] vars changed by relation: Transition number 18, original name: PickUpForks3_Philosopher_Philosopher_Philosopher vars changed by assign: philosophers[3] forks[3] forks[4] vars changed by relation: Transition number 17, original name: PickUpForks4_Philosopher_Philosopher_Philosopher vars changed by assign: philosophers[4] forks[4] forks[0] vars changed by relation: Transition number 16, original name: PickUpForks0_Philosopher_Philosopher_Philosopher vars changed by assign: philosophers[0] forks[0] forks[1] vars changed by relation: Transition number 15, original name: ReturnForks1_Philosopher_Philosopher_Philosopher vars changed by assign: philosophers[1] forks[1] forks[2] vars changed by relation: Transition number 14, original name: ReturnForks2_Philosopher_Philosopher_Philosopher vars changed by assign: philosophers[2] forks[2] forks[3] vars changed by relation: Transition number 13, original name: ReturnForks3_Philosopher_Philosopher_Philosopher vars changed by assign: philosophers[3] forks[3] forks[4] vars changed by relation: Transition number 12, original name: ReturnForks4_Philosopher_Philosopher_Philosopher vars changed by assign: philosophers[4] forks[4] forks[0] vars changed by relation: Transition number 11, original name: ReturnForks0_Philosopher_Philosopher_Philosopher vars changed by assign: philosophers[0] forks[0] forks[1] vars changed by relation: Transition number 10, original name: PickUpForks1_Philosopher_Philosopher_Philosopher_Philosopher vars changed by assign: philosophers[1] forks[1] forks[2] vars changed by relation: Transition number 9, original name: PickUpForks2_Philosopher_Philosopher_Philosopher_Philosopher vars changed by assign: philosophers[2] forks[2] forks[3] vars changed by relation: Transition number 8, original name: PickUpForks3_Philosopher_Philosopher_Philosopher_Philosopher vars changed by assign: philosophers[3] forks[3] forks[4] vars changed by relation: Transition number 7, original name: PickUpForks4_Philosopher_Philosopher_Philosopher_Philosopher vars changed by assign: philosophers[4] forks[4] forks[0] vars changed by relation: Transition number 6, original name: PickUpForks0_Philosopher_Philosopher_Philosopher_Philosopher vars changed by assign: philosophers[0] forks[0] forks[1] vars changed by relation: Transition number 5, original name: ReturnForks1_Philosopher_Philosopher_Philosopher_Philosopher vars changed by assign: philosophers[1] forks[1] forks[2] vars changed by relation: Transition number 4, original name: ReturnForks2_Philosopher_Philosopher_Philosopher_Philosopher vars changed by assign: philosophers[2] forks[2] forks[3] vars changed by relation: Transition number 3, original name: ReturnForks3_Philosopher_Philosopher_Philosopher_Philosopher vars changed by assign: philosophers[3] forks[3] forks[4] vars changed by relation: Transition number 2, original name: ReturnForks4_Philosopher_Philosopher_Philosopher_Philosopher vars changed by assign: philosophers[4] forks[4] forks[0] vars changed by relation: Transition number 1, original name: ReturnForks0_Philosopher_Philosopher_Philosopher_Philosopher vars changed by assign: philosophers[0] forks[0] forks[1] vars changed by relation: New types in core program: PhilosopherState with definition of enum ForkState with definition of enum The Variables of the Flattened Program: Variable name: forks[0] Transitions that change variable by assign: 1 2 6 7 11 12 16 17 21 22 26 27 31 32 36 37 44 45 49 50 Transitions that change variable by relation: Variable name: forks[1] 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 Transitions that change variable by relation: Variable name: forks[2] Transitions that change variable by assign: 4 5 9 10 14 15 19 20 24 25 29 30 34 35 39 40 41 42 46 47 Transitions that change variable by relation: Variable name: forks[3] Transitions that change variable by assign: 3 4 8 9 13 14 18 19 23 24 28 29 33 34 38 39 42 43 47 48 Transitions that change variable by relation: Variable name: forks[4] Transitions that change variable by assign: 2 3 7 8 12 13 17 18 22 23 27 28 32 33 37 38 43 44 48 49 Transitions that change variable by relation: Variable name: philosophers[0] Transitions that change variable by assign: 1 6 11 16 21 26 31 36 45 50 Transitions that change variable by relation: Variable name: philosophers[1] Transitions that change variable by assign: 5 10 15 20 25 30 35 40 41 46 Transitions that change variable by relation: Variable name: philosophers[2] Transitions that change variable by assign: 4 9 14 19 24 29 34 39 42 47 Transitions that change variable by relation: Variable name: philosophers[3] Transitions that change variable by assign: 3 8 13 18 23 28 33 38 43 48 Transitions that change variable by relation: Variable name: philosophers[4] Transitions that change variable by assign: 2 7 12 17 22 27 32 37 44 49 Transitions that change variable by relation: Variable name: p0 Transitions that change variable by assign: Transitions that change variable by relation: Variable name: p1 Transitions that change variable by assign: Transitions that change variable by relation: Variable name: p2 Transitions that change variable by assign: Transitions that change variable by relation: Variable name: p3 Transitions that change variable by assign: Transitions that change variable by relation: Variable name: p4 Transitions that change variable by assign: Transitions that change variable by relation: Vars that originated from CONST section in core: NumOfPhilosophers NumOfForks