let to_clauses (string: string) : clause list =
  parse_string Parser_darwin.parse_clauses "clauses" string