add further test cases for double free
reenable sat-based analysis
fixing: typechecking was not performed before dataflow analysis
ignore failing decluse tests