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)