Was playing with ChatGPT to generate simple Alloy specifications. Unfortunately, its not even close to say c generated code. Wrong syntax (maybe for older versions, Im trying with Alloy6), more complex than needed specs.