specman - リスト サイズのソフト制約は無視されます。なぜ？

Question

Specman はリスト サイズの制約を無視しているようです。この動作に説明はありますか?

私はこのコードを持っています:

m:list of uint;
keep soft m == {};

私のテストでは、次の制約があります。

keep soft m.size() == 3;

しかし、まだ空のリストが表示されます。何故ですか？後のソフト制約が保持されることを期待していました。