Combined with Arun's update on Supervisitor, SymbolTable
Added:
Register
DataflowAllocate
IRCFGNode--to be updated
RegAllocate---to be updated