Minor dot graph fixes#149

dkcumming wants to merge 2 commits into

masterruntimeverification/stable-mir-json:masterfrom

dc/graph-str-fixruntimeverification/stable-mir-json:dc/graph-str-fixCopy head branch name to clipboard