it would be nice to have a contextual popup menu item for syntax errors like "unknown identifier" with a quick fix.
This feature would help avoiding switching between templates and declarations, and release user from typing text manually for most of modeling time.

Example:
in a new model have an edge with an update "hello=blah()"
press F7 for syntax check
uppaal highlights and shows errors: 
  "unknown identifier: hello"
  "unknown identifier: blah"
when user right-clicks on the red-highlighted update label, the popup menu should have additional items with nested menus:
add variable hello to
   local declarations as
      bool
      int
   parameter declaration as
      bool
      int
      chan
   global declaration as
      bool
      int
      chan
add variable blah to
   local declarations as
      bool
      int
      function
   parameter declaration as
      bool
      int
      chan
   global declaration as
      bool
      int
      chan
      function

If user chooses some leaf in this menu structure, then Uppaal should create a corresponding variable declaration. For global declarations Uppaal could also add a short single line comment to denote where this variable came from.