Refactors a bit, connects violation descriptions to output.