Correctly track dynamic process numbers in RInsts.