Nelson Oppen combination as a rewrite theory