Analyzer to check if disposable types are calling GC.SuppressFinalize