The included very stripped model illustrates the following error:
When Uppaal tries to deduces the range of a variable in a struct, this will cause an com.uppaal.engine.ServerException. However, if the function call is removed and the struct is used directly, there is no error. Both functionalities are illustrated in the model.
Created attachment 205 [details]
Bug also reproducable in 4.1.0 version
Fixed in rev. 4373 (trunk) and 4375 (4.0.9).