extract checkDisposed() with verbose reporting