Using Code Contract in Release mode.
Localizing the login screen.