1386     lp_polynomial_t* A_neg = lp_polynomial_new(ctx);  in lp_polynomial_constraint_infer_bounds()  local
1387     lp_polynomial_neg(A_neg, A);  in lp_polynomial_constraint_infer_bounds()
1388     int result = lp_polynomial_constraint_infer_bounds(A_neg, LP_SGN_LT_0, 0, M);  in lp_polynomial_constraint_infer_bounds()
1389     lp_polynomial_delete(A_neg);  in lp_polynomial_constraint_infer_bounds()
1393     lp_polynomial_t* A_neg = lp_polynomial_new(ctx);  in lp_polynomial_constraint_infer_bounds()  local
1394     lp_polynomial_neg(A_neg, A);  in lp_polynomial_constraint_infer_bounds()
1395     int result = lp_polynomial_constraint_infer_bounds(A_neg, LP_SGN_LE_0, 0, M);  in lp_polynomial_constraint_infer_bounds()
1396     lp_polynomial_delete(A_neg);  in lp_polynomial_constraint_infer_bounds()
1605     lp_polynomial_t* A_neg = lp_polynomial_new(ctx);  in lp_polynomial_constraint_explain_infer_bounds()  local
1606     lp_polynomial_neg(A_neg, A);  in lp_polynomial_constraint_explain_infer_bounds()
1607     lp_polynomial_t* p = lp_polynomial_constraint_explain_infer_bounds(A_neg, LP_SGN_LT_0, 0, x);  in lp_polynomial_constraint_explain_infer_bounds()
1608     lp_polynomial_delete(A_neg);  in lp_polynomial_constraint_explain_infer_bounds()
1612     lp_polynomial_t* A_neg = lp_polynomial_new(ctx);  in lp_polynomial_constraint_explain_infer_bounds()  local
1613     lp_polynomial_neg(A_neg, A);  in lp_polynomial_constraint_explain_infer_bounds()
1614     lp_polynomial_t* p = lp_polynomial_constraint_explain_infer_bounds(A_neg, LP_SGN_LE_0, 0, x);  in lp_polynomial_constraint_explain_infer_bounds()
1615     lp_polynomial_delete(A_neg);  in lp_polynomial_constraint_explain_infer_bounds()