A very primitive alias analysis which just records for each view, either:
The base buffer, or
The block argument view that it indexes into. This does not perform inter-block or inter-procedural analysis and assumes that different block argument views do not alias.