Function normalise_root_constraints_local 

pub fn normalise_root_constraints_local(
    exprs: &[Expression],
) -> Option<Expression>

Applies local root-list partial evaluation (strip true, propagate false, flatten ands).