No forking on enter; why did we think this is necessary?
Reduce thread creation weirdness.
reimplemented the fwtn solver
made "dead-code"==bottom for eq-solver
Simple thread uniqueness.
Post-processing for thread uniquness, using desperate hacks.
fixed loop head recognition (hopefully)
sorry
localized widening (using pre-dominators)
pre-dominator set pruning
fixed a side-effect non-term. bug in slr+
unique arinc procedures
called-set based back-edge detection
imperatively store the current node
field == field name
optimized back-edge recognition
_
_
_
_