Local keyword semantics

1. Semantic implementation of local variables
2. Testcases for local
The assumption in this test is that 'b' should have stayed the same, hence not updated when local 'a' was changed. But yes, ill add a verify for 'a'