Generate invariants for subrange types
Merge pull request #33 from chsticksel/kind2-server

Generate invariants for subrange types