Output blocking clauses in Lustre syntax