Function P-Eq
(
p-eq < instance-1 > < instance-2 > )
Tests if two instances are the same persistent instance. Normally there at most one persistent instance for each oid in a transaction so eq may be safely used. On the other hand huge transactions may require to throw away instances form the instance cache which results in several instances for the same oid within the same transaction.