resistor accepted this revision. resistor added a comment. This revision is now accepted and ready to land. Functionality LGTM. I would add a comment at the use site of TokenFactorResult to point out that the walk is being memoized. http://reviews.llvm.org/D16740