Delete WernherChecker.cs