move object_descriptor_exprt::root_object into .cpp#2833

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

object_descriptor_exprt-root_objectdiffblue/cbmc:object_descriptor_exprt-root_objectCopy head branch name to clipboard