Btw could we have an extractor for this in treeinfo?