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