Terminate if there are un-mergeable duplicate atoms.