div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;        left = right;</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;        <span class="keywordflow">do</span> {</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;          right = SequentialLetterRule(left, end);</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;          <span class="keywordflow">if</span> (right != left) {</di