private void afterPostProcessing()
        {
            var processor = new SpecificationPostProcessor(theLibrary, theSpecification);

            processor.Validate();
        }