`BOUNDED_UNROLLING` causes wrong results

[leventeBajczi]

#416 includes some further info on this, but we deemed it not necessary in the svcomp26 preparations. Creating this issue for not losing track once #416 is solved.