Create WernherChecker.cs