Add test/test_redefinition3.rb