Delete test_translate.py.dafny