No diamond-breaking under quantifiers (resolves bug #550).
Merge branch '1.3.x'
bug fix: strings preprocess for the orignal term, causing unknown in some cases