ids of trees and read_object
When one reads a tree using read_object, the tree has the ids that it had when it has been saved. However these ids could have been reassigned (for example if this is a new session of Python). Should we reassign the ids? How?