debugging pushPromptToRedo