WYCS: bug fix for quantifiers.