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

Refactoring Alloy source maps to remove obsolete methods.