create MERGED : ECORE from LEFT : ECORE, RIGHT : ECORE;

helper def : eClassifierByName : Map(String, ECORE!EClassifier) =
  ECORE!EClassifier.allInstances()->iterate(e; acc : Map(String, ECORE!EClassifier) = Map{} |
    if (acc.get(e.name).oclIsUndefined()) then
      acc.including(e.name, e)
    else
      acc
    endif
  );

rule EPackage {
  from
    s : ECORE!EPackage in LEFT
  to
    t : ECORE!EPackage (
      ...
      eClassifiers <- ECORE!EClassifier.allInstances()->select(c | thisModule.eClassifierByName.get(c.name) = c)
    )
}

rule EClass {
  from
    s : ECORE!EClass (thisModule.eClassifierByName.get(s.name) = s)
  using {
    -- TODO find other EClasses with the same name to merge superclasses, etc.
  }
  to
    t : ECORE!EClass (
      ...
    )
}

-- TODO other metaclasses