Bounded response check throws `IllegalArgumentException`
This week I tried running the bounded response check, which resulted in a crash with the following stack trace:
```
java.lang.IllegalArgumentException: Illegal Capacity: -2147483648
at java.base/java.util.ArrayList.<init>(ArrayList.java:160)
at org.eclipse.escet.common.java.Lists.listc(Lists.java:220)
at org.eclipse.escet.cif.bdd.utils.BddUtils.bddToStates(BddUtils.java:267)
at org.eclipse.escet.cif.controllercheck.checks.boundedresponse.BoundedResponseCheck.computeLoopBound(BoundedResponseCheck.java:809)
at org.eclipse.escet.cif.controllercheck.checks.boundedresponse.BoundedResponseCheck.performCheck(BoundedResponseCheck.java:151)
at org.eclipse.escet.cif.controllercheck.checks.boundedresponse.BoundedResponseCheck.performCheck(BoundedResponseCheck.java:1)
at org.eclipse.escet.cif.controllercheck.checks.ControllerCheckerBddBasedCheck.performCheck(ControllerCheckerBddBasedCheck.java:65)
at org.eclipse.escet.cif.controllercheck.ControllerChecker.performChecks(ControllerChecker.java:103)
at org.eclipse.escet.cif.controllercheck.ControllerCheckerApp.runInternal(ControllerCheckerApp.java:109)
at org.eclipse.escet.common.app.framework.Application.runApplication(Application.java:315)
at org.eclipse.escet.common.app.framework.ChildAppStarter$1.run(ChildAppStarter.java:285)
at java.base/java.lang.Thread.run(Thread.java:1583)
```
issue