Update TestFile.rkt