public void DebugAssertTpmIsEmpty() { Debug.Assert(ContextManager.ObjectContexts.Count == 0); CheckConsistency(); }