{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"write!(f,"}]}
            write!(f, "Obligation(predicate={:?}, depth={})", self.predicate, self.recursion_depth)
        } else {
        }