Some refactoring and solving warnings
Parsers are now typesafe on JVM-Level
Merge branch 'master' into dnnf
Add DNNFOperationsTest