Min-Neighbors and Untie

Min neighbor score and an algorithm to break ties and unfold all
possible elimination orderings.