Bugfix: strings with mismatch character being lexicographically greater
than all branching characters were not being correctly inserted in the
general case.