PHP renderer generator: handle duplicates in translate()