let to_clause (string: string) : clause =
  Parser_tme.parse_clause Lexer_tme.token (Lexing.from_string string)