main = QTRSDependencyPairs:RepeatS(0,*,workOnDPs)
workOnDPs = First( \
  QDPDependencyGraph:Maybe(QDPNonSCC), \
  QDPReductionPair[Order = EMB[Quasi = False, Engine = MINISAT[Version=2]], Allstrict = False, Usable = True, Active = True, ATrans = False, MergeMutual = False] \
                 )