A field report of using Alloy with agent-based development | Dark Hacker News