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