On: Proving My Compiler Code Incorrect with Alloy

[l8again]

If anyone is interested in learning more about Alloy, I would recommend this book by the author, Daniel Jackson - "Software Abstractions" - https://www.amazon.com/Software-Abstractions-Logic-Language-...