Fixed case mixmatch of Answer tag in XML output
Merge pull request #26 from chsticksel/kind2-server

Fixed case mixmatch of Answer tag in XML output
Do not fail on real type
Merge pull request #27 from chsticksel/kind2-server

Do not fail on real type
Fixed handling of assertions
Merge pull request #28 from chsticksel/kind2-server

Fixed handling of assertions
Merge remote-tracking branch 'upstream/master'