Tested annotate and graphviz