After the breakpoint is reached, we can examine the state of the collection.
Looking at the second element of the collection, we see an inconsistency: myColor was set to 1, indicating that this node represents a single, compressed, black tree. However, myStatus was set to 2, indicating that the merge had failed. Since it is the color of the node that determines its candidacy for merging at the next level, the color should have been set to a third value indicating ``black and white, no merge.'' This failure to set myColor after an unsuccessful merge attempt was the error we were looking for.
We have seen how event and state based debugging are used together to debug the binary image compression program. The integration of Ariadne and Sneaky provides us with an environment for the assessment of mixed event- and state-based debugging strategies and for the evaluation of event-based modeling techniques in an object-parallel programming environment.