syntax_data: {"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"self.bound_computation(binder,"}]}
source_snippet:         self.bound_computation(binder, |computation, atom| computation.add_predicate_atom(atom));
context_before:     fn add_predicate(&mut self, binder: ty::Binder<I, ty::PredicateKind<I>>) {
context_after:     }