void init_yices_string_lexer(lexer_t *lex, char *data, char *name) { init_token2string(); init_string_lexer(lex, data, name); }
void init_smt2_string_lexer(lexer_t *lex, char *data, const char *name) { smt2_activate_default(); init_string_lexer(lex, data, name); }