Merge remote-tracking branch 'origin/defusecleanup'

Conflicts:
	CParser/src/main/scala/de/fosd/typechef/parser/c/EnforceTreeHelper.scala
	CParser/src/test/scala/de/fosd/typechef/parser/c/CParserTest.scala
	CRefactor/src/main/scala/de/fosd/typechef/crefactor/Morpheus.scala
	CRefactor/src/test/scala/de/fosd/typechef/crefactor/BusyBoxEvaluation/BusyBoxEvaluation.scala
	CRefactor/src/test/scala/de/fosd/typechef/crefactor/BusyBoxEvaluation/RenameEvaluation.scala
	CRefactor/src/test/scala/de/fosd/typechef/crefactor/busyBoxVerifacation/BusyBoxVerification.scala
	CRefactor/src/test/scala/de/fosd/typechef/crefactor/util/EvalHelper.scala
	CRewrite/src/main/scala/de/fosd/typechef/crewrite/ASTNavigation.scala
	CRewrite/src/main/scala/de/fosd/typechef/crewrite/CASTContext.scala
	CRewrite/src/main/scala/de/fosd/typechef/crewrite/CAnalysisFrontend.scala
	CRewrite/src/main/scala/de/fosd/typechef/crewrite/CFGHelper.scala
	CRewrite/src/main/scala/de/fosd/typechef/crewrite/ConditionalNavigation.scala
	CRewrite/src/main/scala/de/fosd/typechef/crewrite/DotGraph.scala
	CRewrite/src/main/scala/de/fosd/typechef/crewrite/DoubleFree.scala
	CRewrite/src/main/scala/de/fosd/typechef/crewrite/EnforceTreeHelper.scala
	CRewrite/src/main/scala/de/fosd/typechef/crewrite/IfdefToIf.scala
	CRewrite/src/main/scala/de/fosd/typechef/crewrite/InterCFG.scala
	CRewrite/src/main/scala/de/fosd/typechef/crewrite/IntraCFG.scala
	CRewrite/src/main/scala/de/fosd/typechef/crewrite/MonotoneFW.scala
	CRewrite/src/main/scala/de/fosd/typechef/crewrite/ProductDerivation.scala
	CRewrite/src/main/scala/de/fosd/typechef/crewrite/UninitializedMemory.scala
	CRewrite/src/main/scala/de/fosd/typechef/crewrite/XFree.scala
	CRewrite/src/test/scala/de/fosd/typechef/crewrite/ASTNavigationTest.scala
	CRewrite/src/test/scala/de/fosd/typechef/crewrite/CFGError.scala
	CRewrite/src/test/scala/de/fosd/typechef/crewrite/CheckCFG.scala
	CRewrite/src/test/scala/de/fosd/typechef/crewrite/DanglingSwitchCodeTest.scala
	CRewrite/src/test/scala/de/fosd/typechef/crewrite/DotGraphWithErrors.scala
	CRewrite/src/test/scala/de/fosd/typechef/crewrite/DoubleFreeTest.scala
	CRewrite/src/test/scala/de/fosd/typechef/crewrite/IfdefToIfTest.scala
	CRewrite/src/test/scala/de/fosd/typechef/crewrite/InterCFGTest.scala
	CRewrite/src/test/scala/de/fosd/typechef/crewrite/UninitializedMemoryTest.scala
	CRewrite/src/test/scala/de/fosd/typechef/crewrite/XFreeTest.scala
	CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CBuiltIn.scala
	CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CDeclTyping.scala
	CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CEnv.scala
	CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CExprTyping.scala
	CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CTypeEnv.scala
	CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CTypeSystem.scala
	CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CTypeSystemFrontend.scala
	CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CTypes.scala
	CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/ICTypeSysOptions.scala
	CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/linker/CInferInterface.scala
	CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/linker/CSignature.scala
	CTypeChecker/src/test/scala/de/fosd/typechef/typesystem/CertSecurityTest.scala
	CTypeChecker/src/test/scala/de/fosd/typechef/typesystem/ExprTypingTest.scala
	CTypeChecker/src/test/scala/de/fosd/typechef/typesystem/IntegerSecurityTest.scala
	CTypeChecker/src/test/scala/de/fosd/typechef/typesystem/TypeEnvTest.scala
	CTypeChecker/src/test/scala/de/fosd/typechef/typesystem/TypeSystemTest.scala
	FeatureExprLib/src/main/scala/de/fosd/typechef/featureexpr/bdd/BDDFeatureExpr.scala
	Frontend/src/main/scala/de/fosd/typechef/Frontend.scala
	Frontend/src/main/scala/de/fosd/typechef/options/CAnalysisOptions.scala
	Frontend/src/main/scala/de/fosd/typechef/options/FeatureModelOptions.java
	Frontend/src/main/scala/de/fosd/typechef/options/FrontendOptions.java
	Frontend/src/main/scala/de/fosd/typechef/options/LexerOptions.java
	Parameter.txt
	README.md
	Sampling/src/main/scala/de/fosd/typechef/FamilyBasedVsSampleBased.scala
	Sampling/src/main/scala/de/fosd/typechef/FamilyBasedVsSampleBasedOptions.scala
	Sampling/src/main/scala/de/fosd/typechef/Sampling.scala
	project/Build.scala