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