{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"(BinOp::Eq,"}]}
            (BinOp::Eq, Left(a), Left(b)) => self.insert_bool(a == b),
            // - otherwise, do nothing, as we do not try to prove inequality.
            (BinOp::Eq, a, b) if a == b => self.insert_bool(true),