StackOverflowException in cccheck.exe

[yaakov-h]

The following function causes cccheck to stack overflow:

public static SqlBoolean StackOverflowReproFunction(SqlGuid first, SqlGuid second)
{
	return SqlGuid.Equals(first, second);
}

cccheck output (through msbuild):

CodeContracts: Task manager is unavailable (unable to run in background).
CodeContracts: FrameworkExtensions: Run static contract analysis.
CodeContracts: FrameworkExtensions: Time spent connecting to the cache: 00:00:01.2159937
CodeContracts: FrameworkExtensions: Cache used: my.cache.db.server
CodeContracts: FrameworkExtensions: Process is terminated due to StackOverflowException.
CodeContracts: FrameworkExtensions: 
CodeContracts: FrameworkExtensions: Static contract analysis done.