remove unused quantifiers fixes #853