remove CRefactor
code layout; fixing intellij warnings
remove outdated ifdeftoif implementation
remove sampling heuristics specific code from configuration handling; specifics are now passed as arguments; add case study parameter to double free analysis (previous determination of case study based on position information in ast was buggy)
change parameter handling for sampling heuristics (singleconf, pairwise); remove unnecessary parameter for sampling heuristics generation
add test cases for checking double free in openssl and linux