fix interface inference for "extern inline" functions
splitting tests, adding (failing) test for parameter function
fix marking of parameters and inference of functions with regard to parameters

previously function pointers in parameters could be mistaken for function names
reformat code
move conditionalcontrolflow parameter to dumpCFG
remove unused imports
move check of cfg and dataflow to testing; change parameter of conditioinalcontrolflow to dumpCFG (not yet fully implemented); fix type errors and warnings
add code from christian for cfg dumps; adapt existing archtecture to new cfg dump routines
rename commandline parameter for typechef
dumpcfg works
Merge branch 'master' into liveness
bugfix: create tmp file
uncomment file tests
refactoring; remove code for check cfg (family-based vs. product-based)
remove code for product derivation from check cfg
remove unused imports