Ave's compression algorithm makes sure that an erroneous abstract event is always highlighted (in red) during the initial feedback. Thus the absence of red nodes in the initial feedback should be a guarantee that the behavior matched the initial behavioral model.
The Ave feedback shows that iteration 2 did not precede iteration 3. In absence of any error, both these nodes would be compressed within the slider node.
