[PPL-devel] Print dimensions

[Enrico Oliosi]

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