When loop extraction succeeds, make sure to map the function pointers over