Visualizer now draws and colors the CFG.