Incomplete error message

[magoorden]

Describe the bug
If I make a typo in a query resulting in mentioning a non-existing location, I get an incomplete error message has no member named <wrong location name>. This sentence is missing the component name. Only if a user selects Details is one able to get this information.

To Reproduce
Steps to reproduce the behavior:

1. Open one of the example models
2. Go to the verifier tab
3. Create a query that uses a non-existing location name
4. Try to run the query

Expected behavior
A sentence like <Component> has no member named <wrong name>.

Version(s) of UPPAAL tested
Uppaal v5.0.0, Uppaal v5.1.0-beta5

Desktop (please complete the following information):

• Version UPPAAL 5.0.0 (rev. 714BA9DB36F49691), 2023-06-21; UPPAAL 5.1.0-beta5 (rev. C7C01B0740E14075), 2023-12-11
• OS, Java version: macOS 14.5 (23F79)