Output blocking clauses in Lustre syntax
Merge pull request #62 from chsticksel/kind2-server

Output blocking clauses in Lustre syntax