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