Things become more difficult in modelling programs with local variables.

This is used by the compilers to hold local variables created within a block.

It is also possible to use the keyword on the definition of a local variable.

At the beginning of the method, no local variables are definitely assigned.

This means there are no local variables, they are all global.

They can use local variables and parameters of the function, but only ones that are declared "final".

Some local variables are predefined, such as $C for the current channel's name.

Note the usage of the local variable which seems unnecessary.

They can either be declared in the context as a field or a local variable.

For instance, the set of local variables with known values is empty.