Highlight .dot graphs with transitions taken.