Attempts on slicing horn clause problems
Enabled subsumption of clauses
Merge pull request #54 from chsticksel/kind2-server

Enabled subsumption of clauses