adapted invariant generator to kind2