Functions can be called in initialisers, range declarations, template arguments or array size specifications,
but this is only well-defined as long as the function is side-effect free and does only depend on constants.
If it depends on non-constant variables, the type-checker should complain about this, but it doesn't.
Instead UPPAAL crashes.
Created attachment 55 [details]
A fix has been checked into CVS.