     fppoly_internal_t* pr = fppoly_init_from_manager(man, ELINA_FUNID_ASSIGN_LINEXPR_ARRAY);
 
     res->layers = (layer_t**) malloc(20*sizeof(layer_t*));
-    res->numlayers = 0;
     fppoly_add_new_layer(res, size, FFN, activation);
 
     neuron_t** neurons = res->layers[0]->neurons;

}


double get_lb_using_previous_layers(elina_manager_t* man, const fppoly_t* const fp, expr_t* expr)
{
    const size_t numlayers = fp->numlayers;
    expr_t* lexpr = expr;

    {
        handle_final_non_relu_layer(pr, fp->out, out_neurons, num_out_neurons);
    }
}

void ffn_handle_last_relu_layer(elina_manager_t* man, elina_abstract0_t* element, const double** weights, const double* bias, const size_t num_out_neurons, const size_t num_in_neurons, const bool has_relu)
