Function def_eq_beta

crates/kernel/src/def_eq.rs:1936–1943

()

    kind: &str,
    a: &KExpr<M>,
    b: &KExpr<M>,
    wa: Option<&KExpr<M>>,
    wb: Option<&KExpr<M>>,
  ) {
    let Some(filter) = IX_DEF_EQ_MAX_DUMP.as_ref() else {
      return;
    };
    if !self.debug_label_matches_env() {
      return;
    }
    let a_head = head_const_name(a).unwrap_or_else(|| "<none>".to_string());