If an array is used as an intermediate value between two loops but no
longer used after that, it should probably be reused.
This is similar to what Pd does. In fact, the lta should be able to
represent the "block based" approach just fine.