Unit test for 'von' names + logic section in JudgeConverter