{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"//"}]}
            // - if both operands can be computed as bits, just compare the bits;
            // Comparison:
            // - if we proved that both operands have the same value, we can insert true/false;