Retrascope

I've tried to add the "example" project to the Retrascope's test suite (in fact, I've tried to uncomment corresponding lines in the VhdlFiles class).
Upon "test.vhd" I've got an error.

Tool arguments: src/test/vhdl/example/test.vhd --target test --toplevel test --engine efsm-test-generator

Error log:

2015.03.04 17:04:41.337. INFO: EFSM.TestGenerator: starting a new sequence
2015.03.04 17:04:41.338. INFO: EFSM.Simulator.WORK.TEST(BEHAVIORAL)_0: resetting EFSM
2015.03.04 17:04:41.338. INFO: EFSM.TestGenerator.RandomGenerator.WORK.TEST(BEHAVIORAL)_0: generating a new input vector
2015.03.04 17:04:41.339. INFO: EFSM.TestGenerator.RandomGenerator.WORK.TEST(BEHAVIORAL)_0: resetting the EFSM
2015.03.04 17:04:41.362. INFO: EFSM.TestGenerator.RandomGenerator.WORK.TEST(BEHAVIORAL)_0: the guarded action has been enabled successfully. Input vector: {events: {CLK}; transaction: {RESET = false}}
2015.03.04 17:04:41.362. INFO: EFSM.TestGenerator.RandomGenerator.WORK.TEST(BEHAVIORAL)_0: the EFSM has been reset successfully
2015.03.04 17:04:41.363. INFO: EFSM.Simulator.WORK.TEST(BEHAVIORAL)_0: processing the events: {CLK}
2015.03.04 17:04:41.363. INFO: EFSM.Simulator.WORK.TEST(BEHAVIORAL)_0: input dump: {RESET = false}
2015.03.04 17:04:41.383. INFO: EFSM.Simulator.WORK.TEST(BEHAVIORAL)_0: initialising the simulator. The reset guarded action: {{CLK}: {predicate: (NOT RESET)}->{{assignment: C[0:0] := false; assignment: C[0:0] := false}}}
2015.03.04 17:04:41.403. INFO: EFSM.Simulator.WORK.TEST(BEHAVIORAL)_0: the reset guard is enabled
2015.03.04 17:15:05.161. ERROR: The exception has been encountered: java.lang.IllegalArgumentException: Uncompatible data types: LOGIC_BOOLEAN vs (MAP LOGIC_INTEGER LOGIC_BOOLEAN)
    at ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator.computeExpression(EfsmSimulator.java:733)
    at ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator.executeAssignment(EfsmSimulator.java:678)
    at ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator.executeAction(EfsmSimulator.java:577)
    at ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator.initialise(EfsmSimulator.java:301)
    at ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator.processEvents(EfsmSimulator.java:260)
    at ru.ispras.retrascope.engine.efsm.generator.test.RandomGenerator.submitVector(RandomGenerator.java:133)
    at ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGenerator.start(EfsmTestGenerator.java:200)
    at ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGenerator.start(EfsmTestGenerator.java:66)
    at ru.ispras.retrascope.basis.Engine.start(Engine.java:200)
    at ru.ispras.retrascope.basis.ToolChain.start(ToolChain.java:106)
    at ru.ispras.retrascope.basis.Engine.start(Engine.java:200)
    at ru.ispras.retrascope.Retrascope$Run.start(Retrascope.java:116)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:333)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:355)
    at ru.ispras.retrascope.util.VhdlUtilTest.runRetrascope(VhdlUtilTest.java:148)
    at ru.ispras.retrascope.util.VhdlUtilTest.runVhdl(VhdlUtilTest.java:73)
    at ru.ispras.retrascope.util.HdlUtilTest.runVhdl(HdlUtilTest.java:94)
    at ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGeneratorVhdlTestCase.generate(EfsmTestGeneratorVhdlTestCase.java:32)

The cause is that when x is array of type MAP(x,y), the x[i] element of array x is of type y, not of type MAP(x,y).