"state" should be a forbidden identifier for all diagrams (UPPAAL uses "state" as a reserved identifier).