pub unsafe extern "C" fn Z3_get_probe_name( c: Z3_context, i: c_uint) -> Z3_string
Return the name of the i probe.
i < Z3_get_num_probes(c)