Using Annotations to Assist ReSharper in Analyzing Your Code