Rename unit test to match convention. Properly implement the without symmetry breaking test
Merge pull request #35 from TeamAmalgam/amalgam-fix-pgia-unit-test

Rename unit test to match convention. Properly implement the without symmetry breaking test
Merge branch 'master' into amalgam-solution-deduplicator

Conflicts:
	tests/kodkod/multiobjective/EndtoEnd/TestSuite.java