Retrascope

The FATE test generator hangs on b03 description. The last part of it's log is the following:

[ant-junit] 2015.02.11 01:32:24.946. INFO: RandomFateGenerator.WORK.B03(BEHAV)_0: the transition has been traversed successfully
[ant-junit] 2015.02.11 01:32:24.946. INFO: RandomFateGenerator.WORK.B03(BEHAV)_0: input vector: {events: {posedge of CLOCK}; transaction: {RESET = 0}}
[ant-junit] 2015.02.11 01:32:24.946. INFO: RandomFateGenerator.WORK.B03(BEHAV)_0: current coverage: 0.6% (3 of 467 transitions)
[ant-junit] 2015.02.11 01:32:25.083. INFO: EFSM.Simulator.WORK.B03(BEHAV)_0: processing the events: {posedge of CLOCK}
[ant-junit] 2015.02.11 01:32:25.083. INFO: EFSM.Simulator.WORK.B03(BEHAV)_0: input dump: {REQUEST3 = 0; REQUEST4 = 0; RESET = 0; REQUEST1 = 0; REQUEST2 = 0}
[ant-junit] 2015.02.11 01:32:25.533. INFO: EFSM.Simulator.WORK.B03(BEHAV)_0: traversing the transition {source state: (AND (AND (AND (AND (AND (NOT (EQ STATO 0)) (EQ STATO 1)) (EQ FU1 0)) (EQ FU2 0)) (EQ FU3 0)) (EQ FU4 0)); destination state: (AND (AND (AND (NOT (EQ STATO 0)) (NOT (EQ STATO 1))) (EQ STATO 2)) (NOT (EQ (BVOR (BVOR (BVOR FU1 FU2) FU3) FU4) 1))); guarded action: {{posedge of CLOCK}: {predicate: (AND (AND (NOT (EQ RESET 1)) (NOT (EQ RU1 1)) (NOT (EQ RU2 1)) (NOT (EQ RU3 1)) (NOT (EQ RU4 1))) (NOT (EQ (BVOR (BVOR (BVOR RU1 RU2) RU3) RU4) 1)))}->{{assignment: BLOCK_GRANT_O_0 := GRANT; assignment: GRANT_O := BLOCK_GRANT_O_0; assignment: FU1 := RU1; assignment: FU2 := RU2; assignment: FU3 := RU3; assignment: FU4 := RU4; assignment: STATO := 2}}}}
[ant-junit] 2015.02.11 01:32:25.533. INFO: EFSM.Simulator.WORK.B03(BEHAV)_0: traversing has been finished successfully
[ant-junit] 2015.02.11 01:32:25.533. INFO: EFSM.Simulator.WORK.B03(BEHAV)_0: current state: (AND (AND (AND (NOT (EQ STATO 0)) (NOT (EQ STATO 1))) (EQ STATO 2)) (NOT (EQ (BVOR (BVOR (BVOR FU1 FU2) FU3) FU4) 1)))
[ant-junit] 2015.02.11 01:32:25.533. INFO: EFSM.Simulator.WORK.B03(BEHAV)_0: inner variables' dump: {BLOCK_GRANT_O_0 = 0000; FU3 = 0; FU4 = 0; FU1 = 0; RU1 = 0; GRANT = 0000; FU2 = 0; RU2 = 0; STATO = 2; CODA1 = 000; CODA2 = 000; CODA3 = 000; RU4 = 0; RU3 = 0; CODA0 = 000}
[ant-junit] 2015.02.11 01:32:25.533. INFO: EFSM.Simulator.WORK.B03(BEHAV)_0: output dump: {GRANT_O = 0000}
[ant-junit] 2015.02.11 01:32:25.563. INFO: EFSM.FATE: the vector has been generated successfully: {events: {posedge of CLOCK}; transaction: {RESET = 0}; transaction: {REQUEST3 = 0; REQUEST4 = 0; REQUEST1 = 0; REQUEST2 = 0}}
[ant-junit] 2015.02.11 01:32:25.563. INFO: EFSM.FATE: current coverage: 1.1% (5 of 467 transitions)
[ant-junit] 2015.02.11 01:32:25.563. INFO: EFSM.FATE: the random phase of generation has been finished successfully. Total coverage: 1.1% (5 of 467 transitions)
[ant-junit] 2015.02.11 01:32:25.563. INFO: EFSM.FATE: starting the directed phase of generation
[ant-junit] 2015.02.11 01:32:25.564. INFO: EFSM.FATE: the WORK.B03(BEHAV)_0 EFSM has uncovered transitions. Processing it
[ant-junit] 2015.02.11 01:32:25.565. INFO: EFSM.FATE.DirectedGenerator.WORK.B03(BEHAV)_0: detecting control dependencies
[ant-junit] 2015.02.11 01:32:29.068. INFO: EFSM.FATE.DirectedGenerator.WORK.B03(BEHAV)_0: control dependencies have been processed successfully
[ant-junit] 2015.02.11 01:32:29.068. INFO: EFSM.FATE.DirectedGenerator.WORK.B03(BEHAV)_0: detecting data dependencies
[ant-junit] 2015.02.11 01:34:15.931. INFO: EFSM.FATE.DirectedGenerator.WORK.B03(BEHAV)_0: data dependencies have been processed successfully
[ant-junit] 2015.02.11 01:34:15.931. INFO: EFSM.FATE.DirectedGenerator.WORK.B03(BEHAV)_0: detecting counters

The full log of Retrascope tests is attached below.