OCL式における「@pre」修飾子の使用可能なコンテキストはどれか。

@preは操作の実行前の値を参照するために使用され、操作実行後の状態を評価する事後条件(post)の中でのみ意味を持つ。