Alloy refactorings