This whole &quot;Pruning redundant branches&quot; stuff essentially reduces to &quot;do A* search&quot;.<p>It is fascinating that we don&#x27;t have a definitive method for formatting, yet.<p><a href="http:&#x2F;&#x2F;beza1e1.tuxen.de&#x2F;articles&#x2F;formatting_code.html" rel="nofollow">http:&#x2F;&#x2F;beza1e1.tuxen.de&#x2F;articles&#x2F;formatting_code.html</a>