Updating: improving ATS-parse-emit-pythod