[disassembler.py] Get rid of duplicates.