let dummy_t_fct_info = {
fi_kf = Kernel_function.dummy () ;
fi_def = None;
fi_project = dummy_t_project;
fi_top = None;
fi_level_option = DontSlice;
fi_init_marks = None;
fi_slices = [] ;
fi_next_ff_num =0;
f_called_by = [];
}