Minor changes for program comprehension.
Compute detailed violation statistics (i.e., divided by endpoint and violtype).