OCLにおいて、オブジェクトの状態変化前（@pre）の値を参照できるのはどの式の中か。

@pre修飾子は、操作の実行によって値が変更された属性の「変更前の値」を参照するために使われ、これは操作実行後の状態を評価する事後条件（post）においてのみ意味を持つ。