[PPL-devel] Print dimensions

Thanks, the widening operator works correctly now. I have a last question: when I define my variables in my toy language and print the constraints the library print their dimensions and not the variables. I.e.:

myvar := 1 becomes A = 1

I tried to replace the dimension with var-names but I couldn't do it. Is there a way to do it or I can only print the dimensions? All the best,

Enrico