title: How to use this function Db.Slicing.Select.select_stmt with frama-C
body: <p>The function which is in the title has the following signature:</p>
  <pre class="lang-ml prettyprint-override"><code>val select_stmt :
   (set -&gt; spare:bool -&gt; Cil_types.stmt -&gt; Cil_types.kernel_function -&gt; set)
     Pervasives.ref
  </code></pre>
  <p>I would like to use this function but my problem is about the argument <code>set</code> which has type <code>type set = SlicingTypes.Fct_user_crit.t Cil_datatype.Varinfo.Map.t</code>. I don't know exactly how to initialize this parameter and after that I would like to print the result.</p>