モデル内に「出口のない状態（シンク状態）」が存在しないか確認する目的はどれか。

一度入ると抜け出せない状態はシステムのハングアップを意味するため、設計段階で排除する必要がある。