Symbol resolution bug for locally defined variables

[clinssen]

The model

model resolution_test2:
    state:
        foo boolean = true

    update:
        if foo:
            f real = 1.
        else:
            f real = 2.

gives the error "Variable 'f' redeclared !" on the second "f real = ..." line, whereas the variable scope should be local.