Find and splice in DFun unfoldings