Add script to check if an input trace ended in a violation