Refactored testcase "PrimeSpecification"