let create kf =
let nb_stmts =
if !Db.Value.use_spec_instead_of_definition kf then 17
else List.length (Kernel_function.get_definition kf).sallstmts
in
let index = FI.create nb_stmts in
let states = IH.create nb_stmts in
let graph = G.create () in
{ fct = kf; graph = graph; states = states; index = index;
topinput = None; other_inputs = [];
ctrl_dpds = Stmt.Hashtbl.create nb_stmts ;
decl_nodes = Varinfo.Hashtbl.create 10 ;
}