debug in graphviz: print used invariant types