Delete onto_greedy_labeling.m~