Look into `InitRenamePointer` typestate in recovery

[hayley-leblanc]

InitRenamePointer is used in rename recovery in a more general way than it's used in regular execution, which may potentially allow an incorrect ordering by using recovery functions in regular execution. This would be a weird thing to do but we should still prevent it.