Changing class name from Analysis to the shorter 'Check'
Creating new class and exception for local variables
Adding new opcodes in the virtual machine
Correcting exception handling in arena
Changing parser and scanner for accepting local variables allocation
Adding test for variables
Updating TODO list