Lustre static analyzer for my Synchronous Systems class