Check global variable modification from a function
Implement local bindings