enabled code contracts in Release