instrument add_element, skip assert_unbound*

1 files changed, 1 insertions, 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,