fix Hasse diagram production and write tikz from graphviz