From ecfc21093f0cee7a0369c0bb0ac344368939d81f Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Mon, 27 Apr 2026 11:38:32 +0100
Subject: instrument add_element, skip assert_unbound*

---
 src/checker_state.rs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/checker_state.rs b/src/checker_state.rs
index 7590457..19a7c51 100644
--- a/src/checker_state.rs
+++ b/src/checker_state.rs
@@ -108,7 +108,6 @@ impl CheckerState {
         set_a == set_b
     }
 
-    #[instrument(skip(self), level = "debug")]
     fn assert_unbound_set(&self, name: &String) -> Result<(), CheckerError> {
         if self.wf_sets.contains_key(name) {
             Err(CheckerError::Rebinding(name.clone()))
@@ -117,7 +116,6 @@ impl CheckerState {
         }
     }
 
-    #[instrument(skip(self), level = "debug")]
     fn assert_unbound_element(&self, name: &String) -> Result<(), CheckerError> {
         if self.wf_elements.contains_key(name) {
             Err(CheckerError::Rebinding(name.clone()))
@@ -208,6 +206,7 @@ impl CheckerState {
         Ok(())
     }
 
+    #[instrument(skip(self), level = "debug", fields(%name, %element, %set))]
     pub fn add_element(
         &mut self,
         name: String,
-- 
cgit v1.3.1