mehdi_amini added a comment. I suspect it should be possible to do this after the ThinLink and add notation about the importing decision, promotion, dead-elimination, ... on every edge/nodes. https://reviews.llvm.org/D41297