not covered, but like the line at 513, it's there in case a match was made that removed a term which is later encountered while looping. Perhaps it is not hit because of the sorting of the arguments (which allows terms that match to be close together). In any case, the right thing is being done here.