Use disjoint sum in redex production enumerators