Removed some unused methods from ColouredTree.