Handle case of storing immediate values
Handle spilled values
Change the way available registers are determined
Fix bugs in finding spill cell addresses
Fix handling return address in register analysis
Handle function return values