WYCS: simplifying quantifiers