debuginfo: Much improved handling of captured variables and by-value arguments.