union("is X, Y; not SubX", "is SubX, Y") now produces "is X, Y"; before it was "is Y". Fixes IDEA-184153 Smart-cast completion fails