Added Simple Tests for modified Alloy.