{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"//"}]}
            // We expect `lhs ?= A`. We found `lhs = Eq(rhs, B)`.
            }
            // Create a condition on `rhs ?= B`.