SSA: manage shadowing

[jecisc]

If we have this:

x = 3

def x(): pass

x = 4

The version of the second SSA variable should be 2 to avoid name conflicts