Avoid Email Mistakes: Simplify Verification with Ychecker