Ok(Reduction::pure(Expr::Sum(Metadata::new(), new_exprs))) // Let other rules handle only one Expr being contained in the sum
* Turn a Min into a new variable and post a global constraint to ensure the new variable is the minimum.
let mut new_top = Vec::new(); // the new variable must be less than or equal to all the other variables