Unit tests for debugging Alloy tests : Refactoring Alloy source maps.