minor fix to abshoudini's handling of quantifiers