Adds repeat redefinition tests