WYCS: also split out reduction rule for disjuncts.