{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"self.fulfillment_cx.borrow_mut().register_predicate_obligation(self,"}]}
        self.fulfillment_cx.borrow_mut().register_predicate_obligation(self, obligation);
    }