Create WernherChecker.version