-
Christos Christodoulopoulos authored
When one of the two trees of the same annotation had a trace, the `predicateIndex` values where shifted resulting in a failed comparison.
a97fcab3
When one of the two trees of the same annotation had a trace, the `predicateIndex` values where shifted resulting in a failed comparison.