Must assert transition relation for definitions of local variables
Inductive invariant contains the property
Merge pull request #60 from chsticksel/kind2-server

Inductive invariant contains the property