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
there is a bug in the process of generating extended combined expressions
need to fix a bug in get_in_nodes_cb
now able to report fsm space analyses
Merge branch 'fsm' into dev
Merge branch 'dev'