Removed workarounds needed for older version of Code Contracts static checker.