Tracing JIT: Fixed bug in register allocator.

Type of variable might need to be checked (using type guard) before loading to register.