fixed synthesis of cases.txt