redefinition tests with proxies