How Ghidra is determining appropriate types based upon operand sizes.

[Wall-AF]

Using x86-16.cspec for a Windows 3.1X application suit, Ghidra seems to be shrinking a 32-bit value (caused by the 0x66 operand size override prefix) into a 16-bit one with the effect of generating a temporary (non-stack) variable of 16-bits instead of the correctly sized stack variable. Can anyone shed light on why, and how to correct it?

Below is the pcode for the SHR instruction

    1130:0a6f 66 c1 e8 0f   026           SHR        EAX,0xf
                                                      $U55c80:4 = INT_AND 15:4, 31:4
                                                      $U55d00:4 = COPY EAX
                                                      EAX = INT_RIGHT EAX, $U55c80:4
                                                      $U27e80:1 = INT_NOTEQUAL $U55c80:4, 0:4
                                                      $U27f00:4 = INT_SUB $U55c80:4, 1:4
                                                      $U27f80:4 = INT_RIGHT $U55d00:4, $U27f00:4
                                                      $U28000:4 = INT_AND $U27f80:4, 1:4
                                                      $U28100:1 = INT_NOTEQUAL $U28000:4, 0:4
                                                      $U28180:1 = BOOL_NEGATE $U27e80:1
                                                      $U28200:1 = INT_AND $U28180:1, CF
                                                      $U28280:1 = INT_AND $U27e80:1, $U28100:1
                                                      CF = INT_OR $U28200:1, $U28280:1
                                                      $U28400:1 = INT_EQUAL $U55c80:4, 1:4
                                                      $U28500:1 = INT_SLESS $U55d00:4, 0:4
                                                      $U28580:1 = BOOL_NEGATE $U28400:1
                                                      $U28600:1 = INT_AND $U28580:1, OF
                                                      $U28680:1 = INT_AND $U28400:1, $U28500:1
                                                      OF = INT_OR $U28600:1, $U28680:1
                                                      $U24c00:1 = INT_NOTEQUAL $U55c80:4, 0:4
                                                      $U24d00:1 = INT_SLESS EAX, 0:4
                                                      $U24d80:1 = BOOL_NEGATE $U24c00:1
                                                      $U24e00:1 = INT_AND $U24d80:1, SF
                                                      $U24e80:1 = INT_AND $U24c00:1, $U24d00:1
                                                      SF = INT_OR $U24e00:1, $U24e80:1
                                                      $U25000:1 = INT_EQUAL EAX, 0:4
                                                      $U25080:1 = BOOL_NEGATE $U24c00:1
                                                      $U25100:1 = INT_AND $U25080:1, ZF
                                                      $U25180:1 = INT_AND $U24c00:1, $U25000:1
                                                      ZF = INT_OR $U25100:1, $U25180:1
                                                      $U25280:4 = INT_AND EAX, 0xff:4

that results in

iVar3 = (int)pThis->m_numWords_0x2 >> 0xf;

where iVar3 is of type int instead of (u)long!

Trying to change the type causes