Why can't this just be called directly in the `trace.origin` match? (It can be split into two matches later, if anything else needs a note.)