You should push violation here and add `return`.