WYIL: bug fix for quantifiers.