Minor fix : do not drop instantiation patterns when merging quantifiers.