DairikiDiff: Optimise method WordLevelDiff._split()