cleanup
factor out worklist algo
remove test*.c
syntactic term proving (some)
milliseconds
get rid of them exceptions

speedup 14820 ms -> 2710 ms on cBench_preprocessed_2013_07_01_Merged/office_ghostscript/src/spdiff.c
don't make worst-case assumptions on references
remove SV-COMP infinite loop code
handle null successors
DefUse: fix NULL stmt
linear helper: lots
fix
report location without -debug
fix meet operator for terminator conditions
cleanup unimplemented ALL_WELLFORMED
Handle LinearHelper assumptions
check cond for DataIter
readability
handle null successors
debug output