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 ;
    }