The set of declared variables is no tracked by the interpreter

[sonmarcho]

The states currently don't track the set of variables declared in the context, which means we can update a variable even if it has not been declared yet. For instance, the following function is valid according to our semantics:

method F()
{
    x := 0;
}