Trying to tighten clausees with unsat cores in forward propagation
Must not reduce clause to intersect with the initial state
Removed extra checks
Merge pull request #49 from chsticksel/kind2-server

Kind2 server