continue
continue this
ss
Util.label does not return what I want (evaluation of booleans) I need to make my own stuff
unreachable removals (pure signals)
removing edges and nodes before generating any codes
fixed bug
fixed bug in iterator
fixed a bug 2
removed dbugging msgs
Merge branch 'smt'