chore
finish liveness analysis
refactor live_var
use simplefication elimination order
remove open Assem in coloring
chore