Fixed a bug with the all quantifier.