CIF merger should check annotation constraints on merged specifications

Annotation providers could have different constraints for the same annotation on different objects. For instance, they could disallow the annotation on the object to which its moved after merging.