WYCS: a minor performance improvement to the solver, by splitting out the reduction rules for conjuncts involving boolean values.