Next Reduction Rule Area

  Below the button bar is a text box labeled Next Reduction Rule. While stepping (Section 3.2), the box displays the next reduction rule that will be applied to the expression in the current block.