avoid some weired errors
reduce double logical reverse and try it for all test cases. However, the result is wrong for some registers. Digging it
fixed some error in cases
now the list of state space is much better
Merge branch 'fsm' into dev