{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"#[instrument(level"}]}
    #[instrument(level = "debug", skip(self, current))]
    fn add_constraints_from_invariant_args(