Add CFGPrinter
Add while CFG
Thinking about phi function