BLOCK
A block is a special statment, that begins with '{', contains a list
of statements, and ends with '}'. The block may also define
local variables.
Note:
Currently, the local variables are visible until the
end of the function. This will be fixed later (any year :-).