basic liveness analysis
add control flow graph interface
abbrivate live_set name
add register allocation interface