let dummy_t_ff_marks = (PdgTypes.Pdg.top (Kernel_function.dummy ()),
                        dummy_t_marks_index)