remove fp improvements
print statistics for combinator and f_l invocations for deadstore
reenable optimizations for fp computation with using while
code optimization
disable optimizations
remove redundant code
adding dead-code test
re-enable optimizations and comment code
ignore tough liveness tests
ignore failing decluse test
add further test cases for double free
reenable sat-based analysis
fixing: typechecking was not performed before dataflow analysis
ignore failing decluse tests
Merge branch 'fpusingwhile' into liveness
do not compute statistics for monotonefw computations
merging master
1. try; fixing hudson compilation error
include link to Colligens in readme
reenable error reporting for parser

accidentially disabled with commit c6ccb565bbcb47ae0c309383dff1cd89d6384b9a