start to limit functions in cfg computation to CFGStmt type instead of the more general AST type
fix comments on new cfg types
remove unnecessary brackets
remove special case in product derivation
push cfgstmt further and readd cdef (used in typesystem)
count total and cached sat calls for satfeatureexpr and bddfeatureexpr
change the output format of .cfg files

Nodes for expressions and statements now also include the containing methods to allow further structural analysis.
merge cfgstmt
caching of sat checks for BDDFeatureExpressions
run typesystem with additional overhead only, if required by subsequent static analyses
rename error rendering function; remove error rendering of static analysis errors
fix type error due to wrong merge after conflict
fix type error; we ensure that the right instance CTypeSystemFrontend with CTypeCache is given
continue CFGStmt refactoring