 or other dependencies of the analysis of the current procedure. Uses <code>Ondemand.analyze_procedure</code>.</p><span class="comment-delim">*)</span></td></tr><tr id="type-t.update_stats" class="anchored"><td class="def record field"><a href="#type-t.update_stats" class="anchor"></a><code><span>update_stats : <span>?add_symops:int <span class="arrow">&#45;&gt;</span></span>
  <span>?failure_kind:<a href="../../IBase/Exception/index.html#type-failure_kind">IBase.Exception.failure_kind</a> <span class="arro