OCL式において、`allInstances()` を使用する代わりに、特定のコンテキストからナビゲーション(`self.orders` など)を使用することが推奨される主な理由はどれか。

グローバルな検索(allInstances)はモデルの実装詳細(全インスタンスの管理場所)に依存し計算コストも高いため、可能な限り関連を辿るナビゲーションを使用すべきである。