Refactoring: SpecificationParser renamed to SpecificationLanguage