{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"//"}]}
        // Let `p` be our pattern. Assume it is found not useful. For a value `v`, if the value was
        //
        // relevant then we explored that value and found that there was another pattern `q` before