Add a useful warning
Custom interruption of checkVerificationConditions
Shortcut test discovery