Incomplete implementation of full_state_description, convert_to_new_leaf_if_necessary.