deal with the initialization of arrays
For the moment, the initialization of arrays is not handled: PROMISE x[12]={1,2,3,4}; is transformed in double_st x[12]={1,2,3,4}; when passed with the cadnaizer. We should check if it is correct or not (I don't think it is). If not, we need to transform this in double temp_x[12]={1,2,3,4}; double_st x[12]; for(int i=0;i<12;i++) x[i]=temp_x[i];
This is more a cadnaizer problem than a Promise one, maybe...