add annotation to find worst violator new function