Change assert exception to annotation