Added a new version for quantifier pulling.