changed possibleFacts type from TreeSet to Set & HashSet