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