ode" class="anchor"></a><code><span class="keyword">module</span> <a href="PriorityNode/index.html">PriorityNode</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd><p>priority_node is used to enforce some kind of policy for creating nodes in the cfg. Certain elements of the AST _must_ create nodes therefore there is no need for them to use priority_node. Certain elements instead need or need not to create a node depending of certain factors. When an element of the lat