Fixed handling of assertions
Merge pull request #28 from chsticksel/kind2-server

Fixed handling of assertions