         {
             if(use_area_heuristic)
             {
-                const float_type area1 = -lb*ub;
-                const float_type area2 = 0.5*ub*width;
-                const float_type area3 = -0.5*lb*width;
-
-                if((area1 < area2) && (area1 < area3))
-                {
-                    elina_double_interval_mul_expr_coeff(&uinf_coeff[a], &usup_coeff[a], lambda_inf, lambda_sup, old_uinf_coeff, old_usup_coeff);
-                }
-                else if((area2 < area1) && (area2 < area3))
+                const float_type area1 = 0.5*ub*width;
+                const float_type area2 = -0.5*lb*width;
+
+                if(area1 < area2)
                 {
                     uinf_coeff[a] = 0.0;
                     usup_coeff[a] = 0.0;

        {
            if(use_area_heuristic)
            {
                const float_type area1 = -lb*ub;
                const float_type area2 = 0.5*ub*width;
                const float_type area3 = -0.5*lb*width;

                if((area1 < area2) && (area1 < area3))
                {
                    elina_double_interval_mul_expr_coeff(&inf_coeff[a], &sup_coeff[a], lambda_inf, lambda_sup, old_inf_coeff, old_sup_coeff);
                }
                else if((area2 < area1) && (area2 < area3))
                {
                    inf_coeff[a] = 0.0;
                    sup_coeff[a] = 0.0;

                {
                    if(use_area_heuristic)
                    {
                        const float_type area1 = 0.5*ub*width;
                        const float_type area2 = -0.5*lb*width;

                        if(area1 < area2)
                        {
                            uinf_coeff[a] = 0.0;
                            usup_coeff[a] = 0.0;
