Retrascope

Тест падает со следующей ошибкой:

java.lang.RuntimeException: An error occured while trying to resolve a constraint.
at ru.ispras.retrascope.engine.efsm.testgen.ReferenceEfsmTestGenerator.generateInputsForGuardedAction(ReferenceEfsmTestGenerator.java:389)
at ru.ispras.retrascope.engine.efsm.testgen.ReferenceEfsmTestGenerator.tryToTraverseTransition(ReferenceEfsmTestGenerator.java:339)
at ru.ispras.retrascope.engine.efsm.testgen.ReferenceEfsmTestGenerator.generateInputVectorRandomly(ReferenceEfsmTestGenerator.java:204)
at ru.ispras.retrascope.engine.efsm.testgen.ReferenceEfsmTestGenerator.generateSequenceRandomly(ReferenceEfsmTestGenerator.java:188)
at ru.ispras.retrascope.engine.efsm.testgen.ReferenceEfsmTestGenerator.start(ReferenceEfsmTestGenerator.java:155)
at ru.ispras.retrascope.engine.efsm.simulator.execution.ReferenceEfsmTestGeneratorTest.generate(ReferenceEfsmTestGeneratorTest.java:39)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:44)
at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)
at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:41)
at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)
at org.junit.internal.runners.statements.RunBefores.evaluate(RunBefores.java:28)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:76)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:50)
at org.junit.runners.ParentRunner$3.run(ParentRunner.java:193)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:52)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:191)
at org.junit.runners.ParentRunner.access$000(ParentRunner.java:42)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:184)
at org.junit.runners.ParentRunner.run(ParentRunner.java:236)
at org.junit.runner.JUnitCore.run(JUnitCore.java:157)
at com.intellij.junit4.JUnit4IdeaTestRunner.startRunnerWithArgs(JUnit4IdeaTestRunner.java:74)
at com.intellij.rt.execution.junit.JUnitStarter.prepareStreamsAndStart(JUnitStarter.java:211)
at com.intellij.rt.execution.junit.JUnitStarter.main(JUnitStarter.java:67)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at com.intellij.rt.execution.application.AppMain.main(AppMain.java:134)