.t</a> * <a href="../../IR/Procdesc/Node/index.html#type-t">IR.Procdesc.Node.t</a> * <a href="../../IR/Procdesc/Node/index.html#type-t">IR.Procdesc.Node.t</a> * <a href="../../IR/Procdesc/Node/index.html#type-t">IR.Procdesc.Node.t</a> * Sawja_pack.JBir.t)</span> option</span></code></dt><dd><p><code>create_procdesc source_file program linereader icfg cm proc_name</code> creates a procedure description for the concrete method cm and adds it to cfg</p></dd></dl><dl><dt class="spec value" id="val-instruction">