(x)sts fix

[leventeBajczi]

No description provided.

[github-actions]

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

Rundefinition	BOUNDED	CEGAR	HORN
SV-COMP25_no-data-race	❓ (0 / 0 / 483) HTML/CSV	✅ (50 / 0 / 124) HTML/CSV	❓ (0 / 0 / 466) HTML/CSV
SV-COMP25_no-overflow	✅ (30 / 0 / 315) HTML/CSV	✅ (30 / 0 / 323) HTML/CSV	✅ (30 / 0 / 322) HTML/CSV
SV-COMP25_termination	✅ (6 / 0 / 229) HTML/CSV	✅ (11 / 0 / 239) HTML/CSV
SV-COMP25_unreach-call	✅ (2 / 0 / 155) HTML/CSV	✅ (24 / 0 / 105) HTML/CSV	❗ (19 / 1 / 136) HTML/CSV
SV-COMP25_valid-memcleanup	❓ (0 / 0 / 65) HTML/CSV	❓ (0 / 0 / 65) HTML/CSV	❓ (0 / 0 / 65) HTML/CSV
SV-COMP25_valid-memsafety	❓ (0 / 0 / 420) HTML/CSV	❗ (34 / 2 / 404) HTML/CSV	✅ (10 / 0 / 409) HTML/CSV