optimize_min_equality_disjunction_chain_length
La longitud mínima de la expresiónexpr = x1 OR ... expr = xN necesaria para la optimización
optimize_min_inequality_conjunction_chain_length
La longitud mínima de la expresiónexpr <> x1 AND ... expr <> xN para la optimización