Added --print-cfg
Fixed a bug in the CFG builder