Qfd refactor (centralizes the QFD implementation of the BooleanLogicIterator code into a single place)