Code Contract: ccrewrite salió con el código -1?

Soy nuevo en los contratos de código. Descargué la última compilación del proyecto de contrato de código (1.4.40314.1) y comencé a implementarlo en mi proyecto. Cuando habilité 'Runtume Checking' a través de la pestaña de contratos de código en VS2010, recibí este error

Error 1 The command ""C:\Program Files (x86)\Microsoft\Contracts\Bin\ccrewrite" "@Application1ccrewrite.rsp"" exited with code -1.

cada vez que construyo el proyecto. Por favor ayuda.

Ahora es un gran problema para mí. Todos los proyectos que utilizan contratos de código muestran el mismo error en la ventana de errores VS2010 y 'Application1ccrewrite.rsp' no se encuentra en la ventana de salida, pero está ahí.

Probé todo. Instalé ambas versiones (Pro, Std) pero el problema persiste. Por favor ayuda!

Respuestas a la pregunta(2)

Su respuesta a la pregunta