main = QTRSDependencyPairs:RepeatS(0,*,workOnDPs)
workOnDPs = First( \
  QDPDependencyGraph:Maybe(QDPNonSCC), \
  QDPReductionPair[Order = SCNP[Engine = MINISAT[Version=2], Order = RPOS[Quasi = True], Max = True, Min = False, Ms = False, Dms = False, Plain = False, PlainRoot = True], Allstrict = False, Usable = True, Active = True, ATrans = False, MergeMutual = False] \
                 )