main = QTRSDependencyPairs:RepeatS(0,*,workOnDPs)
workOnDPs = First( \
  QDPDependencyGraph:Maybe(QDPNonSCC), \
  QDPSizeChange[Subterm = False, Range = 1, Engine = MINISAT[Version=2], UsableArgumentsRestriction = -1, AfsRestriction = -1, MergeMutual = False] \
                 )