 
 void update_state_using_previous_layers_residual(elina_manager_t* man, fppoly_t* fp, const size_t layerno, const bool use_area_heuristic)
 {
-    //const size_t num_chunks = predict_size_residual(fp, layerno);
-    const size_t num_chunks = 1;
+    const size_t num_chunks = predict_size_residual(fp, layerno);
 
     for(size_t chunk_counter = 0; chunk_counter < num_chunks; chunk_counter++)
     {

    float_type* linf_cst_tmp;
    float_type* lsup_cst_tmp;

    cudaMalloc((void**) &linf_coeff_tmp, num_out_neurons_last_layer*sizeof(float_type*));
    cudaMalloc((void**) &lsup_coeff_tmp, num_out_neurons_last_layer*sizeof(float_type*));
    cudaMalloc((void**) &linf_cst_tmp, num_out_neurons_last_layer*sizeof(float_type));
    cudaMalloc((void**) &lsup_cst_tmp, num_out_neurons_last_layer*sizeof(float_type));


}


size_t predict_size_residual(fppoly_t* fp, const size_t layerno)
{
    size_t free_space;
