profiling in npdtree ignores time spent in leaves