WYCS: added some more rules for sets.