Having a function in global declarations, say

   void f(int number) { ... }

and the local variable in some template under same name, say

   int f;

the Update statement on any of template's transitions, like

   f(f)

has no effect since function's name is masked with local variable's name.



It is also possible to define a (local) variable like

   int v;

and include expression on the update of some of the template's transitions:

   v(v)

Uppaal will not complain in such case either, while it should since no function with name "v" is declared.