main = QTRSDependencyPairs:RepeatS(0,*,workOnDPs)
workOnDPs = First( \
   QDPDependencyGraph:Maybe(QDPNonSCC), \
   QDPSizeChange[Subterm = False, Order = EMB[Quasi = False], UsableArgumentsRestriction = -1, AfsRestriction = -1, MergeMutual = False] \
                  )