Reformat fix

[leventeBajczi]

No description provided.

[github-actions]

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

task set	BOUNDED	CEGAR	HORN
Arrays	✅ (1 / 0 / 85) HTML/CSV	❓ (0 / 0 / 4) HTML/CSV	✅ (1 / 0 / 50) 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 / 112) HTML/CSV	✅ (7 / 0 / 41) HTML/CSV	❓ (0 / 0 / 112) HTML/CSV
ConcurrencySafety-NoOverflows	❓ (0 / 0 / 107) HTML/CSV	✅ (8 / 0 / 38) HTML/CSV	❓ (0 / 0 / 106) HTML/CSV
ControlFlow	✅ (3 / 0 / 32) HTML/CSV	✅ (2 / 0 / 55) HTML/CSV	❗ (31 / 17 / 66) HTML/CSV
ECA	❓ (0 / 0 / 36) HTML/CSV	❓ (0 / 0 / 36) HTML/CSV	❓ (0 / 0 / 36) 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 / 10) HTML/CSV	❓ (0 / 0 / 28) HTML/CSV
Heap	✅ (10 / 0 / 112) HTML/CSV	✅ (40 / 0 / 91) HTML/CSV	❗ (10 / 2 / 112) HTML/CSV
Loops	✅ (12 / 0 / 50) HTML/CSV	✅ (6 / 0 / 12) HTML/CSV	✅ (24 / 0 / 68) HTML/CSV
NoDataRace	❓ (0 / 0 / 117) HTML/CSV	✅ (27 / 0 / 49) HTML/CSV	❓ (0 / 0 / 116) HTML/CSV
ProductLines	❓ (0 / 0 / 313) HTML/CSV	❓ (0 / 0 / 313) HTML/CSV	❓ (0 / 0 / 310) 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