 profiling data<a class="headerlink" href="#interpreting-profiling-data" title="Link to this heading"></a></h2>
<p>Some useful information that can be inferred from the profiling data
include:</p>
<ul class="simple">
<li><p>which predicates are called more often (from the <code class="docutils literal notranslate"><span class="pre">call</span></code> port)</p></li>
<li><p>unexpected failures (from the <code class="docutils literal notranslate"><span class="pre">fail</span></code> port)</p></li>
<li><p>un