WYCS: also split out reduction rule for disjuncts.
WYCS: also split out reduction rule for disjuncts.

hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,Whiley/WhileyCompiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler