Rename the stack of assertion or assumption.