post heaps, e.g. <code>x = 0</code> is not compatible with <code>x</code> being allocated, and <code>x = y</code> is not compatible with <code>x</code> and <code>y</code> being allocated separately. In those cases, the result is <code>Unsat</code>.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-incorporate_new_eqs_on_val"><a href="#val-incorporate_new_eqs_on_val" class="anchor"></a><code><span><span class="keyword">val</span> incorporate_new_eqs_on_val : 
  <span><a href="../