est CFG and liveness analysis
working version bak