added two tests for false redeclaration errors