Add a Timer to ctree.util