purge test file
the Specification shall generate an Implementation that can Instantiate the Specification.