Enhancing TripCountProfiler