Interprocedural sroa

There are some manifest changes here from a commit russel gave me. Otherwise, standard SROA things...

mentioned in merge request !59 (merged)

Closing this and merging !59 (merged) with the same changes but a working pipeline.

closed