@acer Thanks man that is exactly what I looked for. Its a bit spacy, but it works.

my problem is, if I make an assumption about a variable. Then define a function which depend on that variable, then for that function, the assumption seems to stay, even if I unassign the variable.