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