 				exprA->type = DENSE;
 				exprA->size = sizeB;
 				free(exprA->dim);
-				exprA->dim = NULL;
+				exprA->dim = nullptr;
 			}
 			else{
 				i=0;


expr_t * multiply_cst_expr(fppoly_internal_t *pr, expr_t *expr, double mul_inf, double mul_sup){
	expr_t * res = alloc_expr();
	res->inf_coeff = NULL;		
	res->sup_coeff = NULL;
	res->dim = NULL;
	res->type = expr->type;
	res->size = expr->size;
	elina_double_interval_mul_cst_coeff(pr,&res->inf_cst,&res->sup_cst,mul_inf,mul_sup,expr->inf_cst,expr->sup_cst);

	else{
		k = expr->dim[0];		
	}
	expr_t * mul_expr = nullptr;
			
	if(expr->sup_coeff[0] <0){
		mul_expr = fp->input_lexpr[k];
