add typechef parameter for dangling switch code analysis; remove prepareAST from CAnalysisFrontend; now we have to make sure that only pass AST elements to the frontend without shared objects
use CAnalysisFrontend for tests in xfree, danglingswitchcode, uninitializedmemory, and doublefree
bug hunting
unify usage of existing dataflow analyses; fix errors