Do it after I FIX the bug in all patterns. Now the graphviz is very useful.