Changes in the TripCount Generator (Enhancing support to vectors)  and TripCount Profiler