     {
         lb_array[i] = aux_lb_array[i];
         ub_array[i] = aux_ub_array[i];
-        printf("out inf numer %i is: %g\n", i, lb_array[i]);
-        printf("out sup numer %i is: %g\n", i, ub_array[i]);
+        printf("out inf number %i is: %g\n", i, lb_array[i]);
+        printf("out sup number %i is: %g\n", i, ub_array[i]);
     }
 }
 

}


// Global const variables can be used from CPU and from GPU.
__constant__ const double min_denormal = 4.940656458412465441766e-324;
__constant__ const double ulp =          2.220446049250313080848e-16;


    const fppoly_t* fp = fppoly_of_abstract0(element);
    fppoly_internal_t* pr = fppoly_init_from_manager(man, ELINA_FUNID_ASSIGN_LINEXPR_ARRAY);

    if(!results_calculated)
    {
        get_lb_using_previous_layers(man, fp);
        results_calculated = true;

        return results[0];
    }
    else
    {
        bool result = results[output_counter];
        output_counter++;

        return result;
    }
}


