HasDeclaration constructor

HasDeclaration()