aco: check for duplicate opcode numbers