IntegrationSpec for DeclareCheck added