Conceptual bug fix to the order of choices in term abduction.