Function product_less_than_negation 

pub(crate) fn product_less_than_negation(
    expr: &BoolExpr,
) -> Option<(&Expr, &Expr, &Expr, &Expr)>

Extracts !(a * b < c * d) as product operands.