False positive on a contant value when using GeneratedCodeAttribute #479

[System.CodeDom.Compiler.GeneratedCodeAttribute("","")]
public class GeneratedClass
{
}

public class Test
{
	private GeneratedClass _cachedItem;

	public GeneratedClass Item
	{
		get
		{
			if( this._cachedItem == null )
			{
				this._cachedItem = new GeneratedClass();
			}
			return this._cachedItem;
		}
	}
}

CodeContracts: warning: The Boolean condition this._cachedItem == null always evaluates to a constant value. If it (or its negation) appear in the source code, you may have some dead code or redundant check