No, that should work. Annotations are attributes of the reactions and metabolites. During __add__ it basically adds all reactions and metabolites from
the other model, thus, also adding the annotations.
However, annotations are not used to check whether two reactions are the same or anything like that. This is difficult since a reaction might have the same
annotation but can still have a different composition. For instance, if I have one model that considers H+ and another one that does not. In that case the same
reaction might contain H+ in one model but not the other. Different reversibility due to pH might be another example. If you want something like that and
have a set of identities when you consider a reaction the same I could help you set up a code that does this. In general you would start by mapping
metabolites to each other by id and annotation, followed by identifying similar reactions and mapping their metabolites.
Cheers