HOMELv038 プロパティの再定義（Redefinition）において、サブクラスでプロパティの型を変更する場合に守るべきルール（共変性）はどれか。 2026年1月25日 型安全性（Liskovの置換原則）を保つため、再定義されたプロパティの型は、元の定義よりも具体的（サブタイプ）でなければならない。 OCLの `collect` 操作をネストしたコレクション（`Set{Set{1}, Set{2}}`）に適用した際、デフォルトの挙動として結果はどうなるか（`flatten`の有無）。 アクティビティ図の拡張領域（Expansion Region）からトークンが出力されるタイミングはいつか。
