No diamond-breaking under quantifiers (resolves bug #550).