{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"//"}]}
            // - if we proved that both operands have the same value, we can insert true/false;
            // - if both operands can be computed as bits, just compare the bits;
            // - otherwise, do nothing, as we do not try to prove inequality.