This now should also work with the interprocedural variant of the pass. Slightly easier now that the yak is shaved.
LGTM.