for the if simplification.</td></tr>
</table>

<h2><a name="functions">Function Details</a></h2>

<h3 class="function"><a name="rules-2">rules/2</a></h3>
<div class="spec">
<p><tt>rules(X1::{term(), VarsInfo::[{[{atom(), <a href="#type-pos">pos()</a>}], <a href="#type-syntaxTree">syntaxTree()</a>}], term()}, X2::term()) -&gt; [<a href="#type-rule">rule()</a>]</tt><br></p>
</div><p>
  Returns a list with a single rule for the if simplification.</p>
<hr>

<div class="navbar"><a name="#navbar_bottom"></a><tabl