Check lvalue for assignment
Expand stack frame only for local variables
Rename lvars to scope and make it as a class