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
change internal datastructure in typecache from map to idenityhashmap
simplify isPartOf computation
remove unnecessary comment
remove duplicates from monotonefw result computations
first version of check stdlib function returns
adding two new dataflow analyses
adding two examples for liveness analysis to LivenessTest
start to bring monotonfw implementation closer to definitions available in [NNH99]
finished brining monotonefm implementation closer to [NNH99]