I'm not sure what you mean. I have a case that tests the annotation behavior and a case that tests the built in library method behavior. Both of these cases fail will if the check does not happen, but they will also fail if the check succeeds in the wrong place.

I will add a case that should not have an error.