use TypeChefError for dataflow analyses
reformat code in CRewrite tests
ClassTag -> ClassManifest for scala 2.9.x compatibility
fixing errors in subproject Sampling after big merge
code simplification
fix intellij warnings
Merge branch 'master' into liveness
Merge branch 'master' into liveness
starting functiontermination; non-void function ends always in return statement
refactoring code to reduce code cloning in dataflow analyses
first version of checking non-void function for missing return statements in control flow
wip
fix prettyprinter; some ids get a dot as prefix which is wrong and cannot be parsed afterwards
add a small testcase for liveness-kill
fixes shadowing problem in frontent; ast is otherwise null all the time
Merge branch 'master' into liveness
change internal datastructure in typecache from map to idenityhashmap
simplify isPartOf computation
remove unnecessary comment
remove duplicates from monotonefw result computations