SpecificationAnalyserSolution