Code from the book on Alloy "Software Abtractions: Logic, Language, and Analysis"