Looking at some example we will show how the Eiffel for .NET compiler generates CIL code to emulate any combination of renaming, redefinition and covariant redefinitions: