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