Original text submitted by Matt O'Conner:
The following scenario causes uppaal to crash when opening a file. If
two constants are declared, say const a and const b, and if a guard
contains a(b), uppaal crashes when opening the file or loading the
process into the simulator.
The following file is a simple example
Created attachment 19 [details]
Test case (bug.xta)
A fix has been checked into CVS.