Add option to search for a particular violation signature at end of trace