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