let expr_of_string_sexpr = gen_expr_of_string_sexpr smtlib_string_sexpr_conv