A bug in printing CFG node information was fixed.