OCLで「self.oclIsNew()」が「true」を返すコンテキストはどこか。

oclIsNew()は、操作の実行後に新しく生成されたオブジェクトを識別するために事後条件でのみ使用される。