diff --git a/platform/platform-impl/src/com/intellij/openapi/editor/impl/IntervalTreeImpl.java b/platform/platform-impl/src/com/intellij/openapi/editor/impl/IntervalTreeImpl.java
index c025221f4fe4..a120b780dbb9 100644
--- a/platform/platform-impl/src/com/intellij/openapi/editor/impl/IntervalTreeImpl.java
+++ b/platform/platform-impl/src/com/intellij/openapi/editor/impl/IntervalTreeImpl.java
@@ -537,12 +537,12 @@ public abstract class IntervalTreeImpl<T extends MutableInterval> extends RedBla
   }
 
   protected void checkBelongsToTheTree(T interval, boolean assertInvalid) {
-    if (!VERIFY) return;
     IntervalNode root = lookupNode(interval);
     if (root == null) return;
     assert !root.intervals.isEmpty();
 
-    assert root.getTree() == this;
+    assert root.getTree() == this : root.getTree() +"; this: "+this;
+    if (!VERIFY) return;
     boolean contains = false;
     for (int i = root.intervals.size() - 1; i >= 0; i--) {
       T key = root.intervals.get(i).get();
diff --git a/platform/platform-impl/src/com/intellij/openapi/editor/impl/RangeMarkerTree.java b/platform/platform-impl/src/com/intellij/openapi/editor/impl/RangeMarkerTree.java
index d2eb1cbc9ed1..5a15cb0e0fa2 100644
--- a/platform/platform-impl/src/com/intellij/openapi/editor/impl/RangeMarkerTree.java
+++ b/platform/platform-impl/src/com/intellij/openapi/editor/impl/RangeMarkerTree.java
@@ -101,9 +101,7 @@ public class RangeMarkerTree<T extends RangeMarkerEx> extends IntervalTreeImpl<T
 
   @Override
   protected void checkBelongsToTheTree(T interval, boolean assertInvalid) {
-    if (!VERIFY) return;
     assert ((RangeMarkerImpl)interval).myDocument == myDocument;
-
     super.checkBelongsToTheTree(interval, assertInvalid);
   }