renamed some test files starting with alloy*