Update src/rust/src/lib.rs

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

Author: jolars

src/rust/src/lib.rs

@@ -1936,20 +1936,9 @@ fn rs_not_m_separated_for_all_subsets(
         }
     }
 
-    if session
-        .as_mut()
-        .m_separated(&[a], &[b], &z_base)
-        .unwrap_or_else(|e| throw_r_error(e))
-    {
-        return false;
-    }
-
     let m = other_u.len();
-    if m == 0 {
-        return true;
-    }
 
-    for k in (1..=m).rev() {
+    for k in (0..=m).rev() {
         let mut idx: Vec<usize> = (0..k).collect();
         loop {
             z_base.truncate(cond_vars.len());