{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"this.relate(a,"}]}
                    this.relate(a, b)
                    let b = this.instantiate_binder_with_existentials(b);
                })?;