let create kf =
let nb_stmts =
try
let fundec = Kernel_function.get_definition kf in
List.length fundec.sallstmts
with Kernel_function.No_Definition ->
42
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 = Kinstr.Hashtbl.create nb_stmts ;
decl_nodes = Varinfo.Hashtbl.create 10 ;
}