# 
# patch "roster_merge.cc"
#  from [1474015a751be0447280bd15eeea130fb420e3e6]
#    to [9af76ab8ca92de69af97de8b8550da60b6a3180d]
# 
========================================================================
--- roster_merge.cc	1474015a751be0447280bd15eeea130fb420e3e6
+++ roster_merge.cc	9af76ab8ca92de69af97de8b8550da60b6a3180d
@@ -424,6 +424,9 @@
             break;
           }
       }
+    I(left_mi == left_marking.end());
+    I(right_mi == right_marking.end());
+    I(new_i == result.roster.all_nodes().end());
   }
 
   // FIXME: looped nodes here