Separations, Violations and Events

ATC - checks violations and updates
ATCListener - defines how to listen to events
testOutput - test class to print when events occur