Use a sorted list so that we detect early termination. We can use it in two places (once reversed), which is good. While here, print a info message while building the set of TFIs.