Updating: impriving ATS-parse-emit-python