Add full (nonworking) DNF partitioning quicksorter)