CodeTree.times() implemented.