Add support for differential coloring in the tree-labeling script
Support function librarification