WYCS: tweak for joining constraint sets.