Implemented CFG output