add GraphViz UI

next:
test the ReadIncChecker using GraphViz UI