Fixed variable naming in ReferenceElimination

[leventeBajczi]

No description provided.

[github-actions]

❗ Please modify build.gradle.kts to contain a later version than 6.6.4. Current version is 6.6.4.

[github-actions]

Benchexec test report for a selection of SV-Benchmarks (correct / incorrect / all):

task set	BOUNDED	CEGAR	HORN
Arrays	✅ (1 / 0 / 84) HTML/CSV	❓ (0 / 0 / 4) HTML/CSV	✅ (1 / 0 / 52) HTML/CSV
BitVectors	✅ (4 / 0 / 21) HTML/CSV	✅ (6 / 0 / 30) HTML/CSV	✅ (2 / 0 / 30) HTML/CSV
Combinations	❓ (0 / 0 / 39) HTML/CSV	❓ (0 / 0 / 39) HTML/CSV	❓ (0 / 0 / 39) HTML/CSV
Concurrency	❓ (0 / 0 / 139) HTML/CSV	✅ (14 / 0 / 50) HTML/CSV	❓ (0 / 0 / 140) HTML/CSV
ConcurrencySafety-NoOverflows	❓ (0 / 0 / 132) HTML/CSV	✅ (8 / 0 / 45) HTML/CSV	❓ (0 / 0 / 131) HTML/CSV
ControlFlow	✅ (3 / 0 / 32) HTML/CSV	✅ (3 / 0 / 54) HTML/CSV	❗ (31 / 17 / 66) HTML/CSV
ECA	❓ (0 / 0 / 36) HTML/CSV	❓ (0 / 0 / 36) HTML/CSV	❓ (0 / 0 / 37) HTML/CSV
Floats	❓ (0 / 0 / 17) HTML/CSV	✅ (7 / 0 / 22) HTML/CSV	❓ (0 / 0 / 33) HTML/CSV
Hardware	❓ (0 / 0 / 28) HTML/CSV	✅ (1 / 0 / 11) HTML/CSV	❓ (0 / 0 / 28) HTML/CSV
Heap	✅ (10 / 0 / 112) HTML/CSV	✅ (31 / 0 / 112) HTML/CSV	❗ (10 / 2 / 112) HTML/CSV
Loops	✅ (11 / 0 / 49) HTML/CSV	✅ (1 / 0 / 7) HTML/CSV	✅ (24 / 0 / 66) HTML/CSV
NoDataRace	❓ (0 / 0 / 148) HTML/CSV	✅ (30 / 0 / 60) HTML/CSV	❓ (0 / 0 / 143) HTML/CSV
ProductLines	❓ (0 / 0 / 313) HTML/CSV	❓ (0 / 0 / 303) HTML/CSV	❓ (0 / 0 / 317) HTML/CSV
Recursive	❓ (0 / 0 / 153) HTML/CSV	✅ (7 / 0 / 36) HTML/CSV	❓ (0 / 0 / 153) HTML/CSV
Sequentialized	✅ (2 / 0 / 30) HTML/CSV	✅ (2 / 0 / 31) HTML/CSV	✅ (3 / 0 / 30) HTML/CSV
XCSP	❓ (0 / 0 / 19) HTML/CSV	❓ (0 / 0 / 19) HTML/CSV	❓ (0 / 0 / 19) HTML/CSV