add doublefree test
fixing tests
start to handle variable shadowing in montonefw
change resulttype of montonefw computation to hashmap
update typesystem and declusemap
first working version of handling variable shadowing
polish variable decls/usage in monotonefw
fix variable decl/use mapping in liveness analysis
wip
code layout
liveness works; doublefree broken
fix null pointer exception; try to get declaration out of use-decl-map
fix alternative types in monotone fw
apply last commit of master