Concrete Analyzers implemented