let term_of_string s =
  let lb = Lexing.from_string s in 
  Parser.termeof Lexer.token lb