Specifically, ITGs can be used to find the optimal edit sequence under the restriction that block moves must be properly nested, like parentheses.
if an edit sequence swaps adjacent substrings A and B of the original string, then any other block move that affects A (or B) must stay completely within A (or B).