Only import what we use from lens
Include run the error reporting code identification analysis
Rewire the analysis pipeline

The new transfer analysis needs to come between two different groups
of bottom-up call graph analysis, so split them up as-needed.
Type issues for the Transfer analysis
Replace deprecated & operator with <>