Added graph visualizer for verfiication