def set_label(self, s, label):
        self.state.body_labels[self.bodies[self.index].segment_id] = label
        self.set_index(self.index + 1)
def draw_paths(c, tree):
	if tree.lchild == None or tree.rchild == None:
		return
	tree.lchild.leaf.draw_path(c, tree.rchild.leaf)
	draw_paths(c, tree.lchild)
	draw_paths(c, tree.rchild)