Prepared factoring out violation code to reduce instrumentation size.
Factored out violation printing.