 中ID的部分的checking  因为没有实现@pre的功能，会导致OwningRecords 前后的size发生变化，postcontion不通过。
中ID的部分的checking
因为没有实现@pre的功能，会导致OwningRecords 前后的size发生变化，postcontion不通过。