[PPL-devel] assign names to variables.

Dear all, Is there a quick way to pretty-print a Box or Polyhedha object using my variables names rather than the build-in "A", "B", "C"...? For example, below are an interval analysis result for a single instruction "x=10". PPL uses its built-in names A,B,...for each dimension. ******************************* {true} x = 10 {A in 10} ******************************* I do not see how to assign a user-defined names for PPL's variable objects. Any ideas? Thanks. Zell.