{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
            // - otherwise, do nothing, as we do not try to prove inequality.
            // - if we proved that both operands have the same value, we can insert true/false;
            (BinOp::Eq, Left(a), Left(b)) => self.insert_bool(a == b),