
<html>

  <head>


    <meta http-equiv="content-type" content="text/html; charset=UTF-8">

  </head>

  <body bgcolor="#FFFFFF" text="#000000">

    Updated version addressing Duncan's comments.<br>

    I also changed the loop check to allow sinking code out of simple

    loops.<br>

    B.r.,<br>

  </body>

</html>