Mjolnir as you point out seems like the perfect tracing tool and I have many times thought that I should give it a go, but never found the energy. One thing I don't think Mjolnir/XLA solves is the world age problem which again is why some Julia-defined structure (like Chain or Comp...