Ball-larus path profiling across multiple loop iterations