Fixed sat handling of $eqx and $nex with unequal port widths