Oddly enough, my PhD thesis was on the same subject, and the solutions also seem to have something in common. Look for example at figure 5.1 on page 95 of http:

Oddly enough, my PhD thesis was on the same subject, and the solutions also seem to have something in common. Look for example at figure 5.1 on page 95 of http://akkartik.name/akkartik-phd07.pdf http://akkartik.name/akkartik-phd07.pdf. I haven't fully internalized OP's approach yet (and this was many years ago, so I'm no longer very knowledgeable), but they seem to be making more assumptions about what the data structure looks like, where I had a compiler distilling arbitrary pointer traversals out of large programs.