FIXED: Make sure all operands of the same instruction are the same width.