let lambda_of_string_sexpr = gen_expr_or_lambda_of_string_sexpr smtlib_string_sexpr_conv