{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"self.eq_relations().union(a,"}]}
        self.eq_relations().union(a, b);
        debug_assert!(self.probe(b).is_unknown());
    }