specman - 制約は、範囲が関連していないことを警告します

Question

次のコードは、DEPR_NEG_OR_LARGE_SELECT_WEIGHT に関する警告を作成します。

keep soft MyVar == select {
 0xffffffffff: 0;
 10: [1..10];
 10: [11..20];
};
keep MyVar != 0;

私は、チェックが関連する範囲のみを考慮することを期待しています...