added test for redefinition issue