Forgot a negations when checking inductive invariant
Merge pull request #59 from chsticksel/kind2-server

Forgot a negations when checking inductive invariant