Adds the merge functions for subsumption