Method whnf

crates/kernel/src/whnf.rs:227–229

Full WHNF: loop of whnf_no_delta → delta (one step).

(&mut self, e: &KExpr<M>)

    log::info!("  current:  {current}");
  }

  fn dump_delta_trace(&self, id: &KId<M>, arity: usize, e: &KExpr<M>) {
    let Some(filter) = IX_DELTA_TRACE.as_ref() else {
      return;
    };
    if !self.debug_label_matches_env() {