Debugging support for Alloy applications.