I have a simple module based language and an accompanying analysis that relates program points. I'd like to draw arrows in the style of lexical and tail call arrows based on the results of the analysis. Is there a succinct example of this sort of thing that I could use as a starting point? Thanks, David