Copy all the quantifiers into the scope test