As a result, reordering is overwhelmingly local but few crucial long-range reorderings also regularly occur.
this pair is challenging for PSMT but, at the same time, not well suited for a tree-based approach.