Function export_smt_lib 

pub fn export_smt_lib(
    arena: &GraphArena,
    formula_name: &str,
    collision_trace: Option<&str>,
    sc_actions: &[String],
    success_depths: Option<&[i32]>,
) -> String