Sun May 19 08:25:08 EDT 2019

accu matcher

- only backreference in defining loop
- only last reference outside

Should be straightforward.

However this needs to be tracked for each dimension separately.  The
information that needs to be tracked is whether that dimension:

- is a local variable
- is an escaping accumulator

To tackle this, first fix escape analysis to return a data structure .,