let reprs =
           List.map
             (fun kf ->
               { kernel_function = kf;
                 graph = CFG.create ();
                 stmt_node = Hashtbl.create 0;
                 start_id = -1;
                 loop_nodes = None },
               [])
             Kernel_function.reprs