Rewrite local items.
Widening for local items.
Better formulation of definitions (we were ignoring some implicit arguments).
Explicitly form the array.