{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"self,"}]}
            self,
        sub_relations.add_constraints(
            self.fulfillment_cx.borrow_mut().pending_obligations().iter().map(|o| o.predicate),