debugging dataflow analysis
minor fix to speed up analysis
getting rid of partialfunction in liveness analysis
reformat code
minor optimizations and debugging
remove debugging code
double free analysis: analysis without feature model
and check the result for false positives using
the feature model
optimize succ usage in monotonefw
put optimization using vague and precise succ/pred determination into monotonefw
invalidate caches in case vague pred/succ determination is wrong
make monotonefw imprecise and filter results using the proper feature model
minor fixes
merging liveness; reformat code