(I'm not sure whether to create other issues for further details)

I'm also seeing a return in a with will trace withexit/return for a plain "return" statement, but return/withexit/return for a return with a value ("return 17").

I would expect that a statement causing an exit from a with block would always be traced before the with-exit.