Fresh variables must not overlap in initial state constraint, property and transition relation
Merge pull request #51 from chsticksel/kind2-server

Fresh variables must not overlap in initial state constraint, property and transition relation