Yeah, this is a constructor that copies an attribute.
 And yeah, the tree should be copied.