Function try_reduce_step 

pub fn try_reduce_step(expr: &Expr) -> ReductionResult

Attempt a single reduction step, returning a ReductionResult.

Unlike count_reduction_steps, this function performs at most one step and clearly indicates whether the expression changed.