let to_term (string: string) : term =
  parse_string Parser_darwin.parse_term "term" string