fn decompose_equations(predicate: &MirScalarExpr) -> Option<Vec<(usize, usize)>>
If predicate can be decomposed as any number of col(x) = col(y) expressions anded together, return them.
predicate
col(x) = col(y)