UML14 — Add OCL operation to refer to all new instances created during operation

Summary: There is no simple way currently in OCL to refer in a postcondition to the
new instances created
during the operation. The current solution is:
Person.allIstances - Person.allInstances@pre
Since this is commonly used, a simper way to denote this will be
bened=ficial.
We propose to add an operation "new" or "created" to OclType, which can ony
be used
in postconditions and has the meaning describd above. We can then write:
Person.new or Person.created

Fixed in UML 1.3.