Allow double defs after tail duplication.